Heidi E. Dixon Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes: Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. CoRR abs/1107.0040 (2011)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes: Generalizing Boolean Satisfiability II: Theory. CoRR abs/1109.2134 (2011)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes: Generalizing Boolean Satisfiability III: Implementation. CoRR abs/1109.2142 (2011)
2005
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes: Generalizing Boolean Satisfiability III: Implementation. J. Artif. Intell. Res. (JAIR) 23: 441-531 (2005)
2004
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes: Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. J. Artif. Intell. Res. (JAIR) 21: 193-243 (2004)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes: Generalizing Boolean Satisfiability II: Theory. J. Artif. Intell. Res. (JAIR) 22: 481-534 (2004)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes: Implementing a Generalized Version of Resolution. AAAI 2004: 55-60
2002
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heidi E. Dixon, Matthew L. Ginsberg: Inference Methods for a Pseudo-Boolean Satisfiability Solver. AAAI/IAAI 2002: 635-640

Coauthor Index

1Jim Apple
[c3]
2Paul Chang
[c3]
3Aran Clauson
[c3]
4Hiba Fakhoury
[c3]
5Matthew L. Ginsberg
[c3] [i3] [i2] [i1] [j3] [j2] [j1] [c2] [c1]
6David K. Hofer
[i1] [j3] [c2]
7Erin Keenan
[c3]
8Alex Leighton
[c3]
9Eugene M. Luks
[i2] [i1] [j3] [j1] [c2]
10Andrew J. Parkes
[i3] [i2] [i1] [j3] [j2] [j1] [c2]
11Kevin Scavezze
[c3]
12Bryan Smith
[c3]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 03:46:15 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page