24 citations
2 papers
cs.AI2011★ 15 cited
Generalizing Boolean Satisfiability III: Implementation
H. E. Dixon, M. L. Ginsberg, D. Hofer +2
This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern hi…
cs.AI2011★ 24 cited
Generalizing Boolean Satisfiability II: Theory
H. E. Dixon, M. L. Ginsberg, E. M. Luks +1
This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of…