TY  - RPRT
TI  - Probabilistic Inference Modulo Theories
AU  - Rodrigo de Salvo Braz
AU  - Ciaran O'Reilly
AU  - Vibhav Gogate
AU  - Rina Dechter
PY  - 2016
UR  - https://arxiv.org/abs/1605.08367
ID  - 1605.08367
ER  -