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…