Parkes, Andrew J.

10 publications

JAIR 2019 Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints Daniel Karapetyan, Andrew J. Parkes, Gregory Z. Gutin, Andrei Gagarin

JAIR 2005 Generalizing Boolean Satisfiability III: Implementation Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes

JAIR 2004 Generalizing Boolean Satisfiability I: Background and Survey of Existing Work Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes

JAIR 2004 Generalizing Boolean Satisfiability II: Theory Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes

AAAI 2004 Implementing a Generalized Version of Resolution Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes

AAAI 2002 Easy Predictions for the Easy-Hard-Easy Transition Andrew J. Parkes

AAAI 1999 Worldwide Aeronautical Route Planner Charles B. McVey, David P. Clements, Barton C. Massey, Andrew J. Parkes

AAAI 1998 Supermodels and Robustness Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy

AAAI 1997 Clustering at the Phase Transition Andrew J. Parkes

AAAI 1996 Tuning Local Search for Satisfiability Testing Andrew J. Parkes, Joachim P. Walser