| 2005 |
|---|
| 5 | EE | 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 |
|---|
| 4 | | 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 |
| 3 | EE | 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) |
| 2 | EE | 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) |
| 2002 |
|---|
| 1 | | Heidi E. Dixon,
Matthew L. Ginsberg:
Inference Methods for a Pseudo-Boolean Satisfiability Solver.
AAAI/IAAI 2002: 635-640 |
