David K. Hofer

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability III: Implementation CoRR (2011)
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability III: Implementation. J. Artif. Intell. Res. 23 (2005)
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
Implementing a Generalized Version of Resolution. AAAI (2004)