Heidi E. Dixon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2002–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | AAAI | 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 |
| 2004 | AAAI | Implementing a Generalized Version of Resolution. | Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes |
| 2002 | AAAI | Inference Methods for a Pseudo-Boolean Satisfiability Solver. | Heidi E. Dixon, Matthew L. Ginsberg |