15 citations · 30 across the 5 of their papers we have counts for
1 paper · 1 filter
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…