Heidi E. Dixon

According to our database, Heidi E. Dixon authored at least 6 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2005

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

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 II: Theory.

Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes

J. Artif. Intell. Res., 2004

Implementing a Generalized Version of Resolution.

Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2002

Inference Methods for a Pseudo-Boolean Satisfiability Solver.

Heidi E. Dixon, Matthew L. Ginsberg

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002