Jeavons, Peter

8 publications

JAIR 2020 Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search Artem Kaznatcheev, David A. Cohen, Peter Jeavons

JAIR 2012 Local Consistency and SAT-Solvers Peter Jeavons, Justyna Petke

IJCAI 2011 Tackling the Partner Units Configuration Problem Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen

AAAI 2006 Constraint Symmetry and Solution Symmetry David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

IJCAI 2005 A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition David A. Cohen, Peter Jeavons, Marc Gyssens

JAIR 2004 A Maximal Tractable Class of Soft Constraints David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin

IJCAI 2003 A Maximal Tractable Class of Soft Constraints David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin

IJCAI 2001 A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation Andrei A. Krokhin, Peter Jeavons, Peter Jonsson