Probabilistic Inference Modulo Theories | Read Paper on Bytez