18 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.AI2013
Implementing Probabilistic Reasoning
Matthew L. Ginsberg
General problems in analyzing information in a probabilistic database are considered. The practical difficulties (and occasional advantages) of storing uncertain data, of using it…
cs.AI2011★ 18 cited
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
H. E. Dixon, M. L. Ginsberg, A. J. Parkes
This is the first of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of m…