E. M. Luks | DeepAI

DeepAI

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

Featured Co-authors

M. L. Ginsberg
4 publications
H. E. Dixon
3 publications
A. J. Parkes
3 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. ∙