2005 | ||
---|---|---|
2 | 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 | ||
1 | 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 |
1 | Heidi E. Dixon | [1] [2] |
2 | Matthew L. Ginsberg | [1] [2] |
3 | Eugene M. Luks | [1] [2] |
4 | Andrew J. Parkes | [1] [2] |