Work

Probabilistic inference modulo theories

FWCI: 2.197
Cites: 26
Cited by: 13
Related to: 10