Luks, Eugene M.

3 publications

JAIR 2005 Generalizing Boolean Satisfiability III: Implementation Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes

JAIR 2004 Generalizing Boolean Satisfiability II: Theory Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes

AAAI 2004 Implementing a Generalized Version of Resolution Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes