Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Heidi E. Dixon" ( http://dblp.L3S.de/Authors/Heidi_E._Dixon )

  Author page on DBLP  Author page in RDF  Community of Heidi E. Dixon in ASPL-2

Publication years (Num. hits)
2002 (1) 2004 (3) 2005 (1) 2011 (4)
Publication types (Num. hits)
article(6) inproceedings(3)
Venues (Conferences, Journals, ...)
CoRR(3) J. Artif. Intell. Res. (JAIR)(3) AAAI(2) AAAI/IAAI(1)
Authors
Heidi E. Dixon(9) Matthew L. Ginsberg(9) Andrew J. Parkes(7) Eugene M. Luks(5) David K. Hofer(3) Alex Leighton(1) Aran Clauson(1) Bryan Smith(1) Erin Keenan(1) Hiba Fakhoury(1) Jim Apple(1) Kevin Scavezze(1) Paul Chang(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes Generalizing Boolean Satisfiability I: Background and Survey of Existing Work Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes Generalizing Boolean Satisfiability II: Theory Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes Generalizing Boolean Satisfiability III: Implementation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jim 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. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes Generalizing Boolean Satisfiability III: Implementation. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes Generalizing Boolean Satisfiability II: Theory. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes Implementing a Generalized Version of Resolution. Search on Bibsonomy AAAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Heidi E. Dixon, Matthew L. Ginsberg Inference Methods for a Pseudo-Boolean Satisfiability Solver. Search on Bibsonomy AAAI/IAAI The full citation details ... 2002 DBLP  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.