research
∙
09/09/2011
Generalizing Boolean Satisfiability III: Implementation
This is the third of three papers describing ZAP, a satisfiability engin...
share
research
∙
09/09/2011
Generalizing Boolean Satisfiability II: Theory
This is the second of three planned papers describing ZAP, a satisfiabil...
research
∙
06/30/2011
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
This is the first of three planned papers describing ZAP, a satisfiabili...
research
∙
06/03/2011