Inference Methods for a Pseudo-Boolean Satisfiability Solver. - Heidi E. Dixon; Matthew L. Ginsberg (AAAI/IAAI, 2002)

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

Generalizing Boolean Satisfiability II: Theory. - Heidi E. Dixon; Matthew L. Ginsberg; Eugene M. Luks; Andrew J. Parkes (J. Artif. Intell. Res., 2004)

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. - Heidi E. Dixon; Matthew L. Ginsberg; Andrew J. Parkes (J. Artif. Intell. Res., 2004)

Generalizing Boolean Satisfiability III: Implementation. - Heidi E. Dixon; Matthew L. Ginsberg; David K. Hofer; Eugene M. Luks; Andrew J. Parkes (J. Artif. Intell. Res., 2005)

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 (AAAI, 2011)