Heidi E. Dixon

Publication Activity (10 Years)

Years Active: 2002-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, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability II: Theory CoRR (2011)
Jim Apple, Paul Chang, Aran Clauson, Heidi E. Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith
Green Driver: AI in a Microcosm. AAAI (2011)
Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work 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)
Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. J. Artif. Intell. Res. 21 (2004)
Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability II: Theory. J. Artif. Intell. Res. 22 (2004)
Heidi E. Dixon, Matthew L. Ginsberg
Inference Methods for a Pseudo-Boolean Satisfiability Solver. AAAI/IAAI (2002)