Dixon, Heidi E.

6 publications

AAAI 2011 Green Driver: AI in a Microcosm Jim Apple, Paul Chang, Aran Clauson, Heidi E. Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith

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 I: Background and Survey of Existing Work Heidi E. Dixon, Matthew L. Ginsberg, 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

AAAI 2002 Inference Methods for a Pseudo-Boolean Satisfiability Solver Heidi E. Dixon, Matthew L. Ginsberg