Andrew J. Parkes (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

28 Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes: Generalizing Boolean Satisfiability I: Background and Survey of Existing Work CoRR abs/1107.0040: (2011)

27 Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes: Generalizing Boolean Satisfiability II: Theory CoRR abs/1109.2134: (2011)

26 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)

12 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)

11 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

10 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)

9 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)

Selection of 7 from 38 records - Andrew J. Parkes has 39 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

28		Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes: Generalizing Boolean Satisfiability I: Background and Survey of Existing Work CoRR abs/1107.0040: (2011)
27		Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes: Generalizing Boolean Satisfiability II: Theory CoRR abs/1109.2134: (2011)
26		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)
12		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)
11		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
10		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)
9		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)