Generalizing Boolean satisfiability II
E DixonHeidi, L GinsbergMatthew, M LuksEugene, J ParkesAndrew · 2004
This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high perfo...