Hofer, David K.

2 publications

JAIR 2005 Generalizing Boolean Satisfiability III: Implementation Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, 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