H. E. Dixon | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

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

research

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

research

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

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

0 H. E. Dixon, et al. ∙