H. E. Dixon | DeepAI

AI Chat

Featured Co-authors

M. L. Ginsberg
4 publications
A. J. Parkes
3 publications
E. M. Luks
2 publications
D. Hofer
1 publication

∙ 09/09/2011

Generalizing Boolean Satisfiability III: Implementation

This is the third of three papers describing ZAP, a satisfiability engin...

0 H. E. Dixon, et al. ∙

∙ 09/09/2011

Generalizing Boolean Satisfiability II: Theory

This is the second of three planned papers describing ZAP, a satisfiabil...

0 H. E. Dixon, et al. ∙

∙ 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...

0 H. E. Dixon, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world