Probabilistic Inference Modulo Theories

Rodrigo de Salvo Braz, Ciaran O'Reilly, Vibhav Gogate +1

We present SGDPLL(T), an algorithm that solves (among many other problems) probabilistic inference modulo theories, that is, inference problems over probabilistic models defined vi…