Peter Jeavons

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 4

Top Topics

Propositional Satisfiability

Independent Set

Constraint Satisfaction

Top Venues

J. Artif. Intell. Res.

Ann. Math. Artif. Intell.

Publications

Artem Kaznatcheev, David A. Cohen, Peter Jeavons
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. J. Artif. Intell. Res. 69 (2020)
Wenting Zhao, Mark H. Liffiton, Peter Jeavons, Dan Roberts
Finding Graph Decompositions via SAT. ICTAI (2017)
Peter Jeavons, Alex D. Scott, Lei Xu
Feedback from Nature: Simple Randomised Distributed Algorithms for Maximal Independent Set Selection and Greedy Colouring. CoRR (2016)
Peter Jeavons, Alex Scott, Lei Xu
Feedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouring. Distributed Comput. 29 (5) (2016)
Daniel Nichol, Peter Jeavons, Alexander G. Fletcher, Robert A. Bonomo, Philip K. Maini, Jerome L. Paul, Robert A. Gatenby, Alexander R. A. Anderson, Jacob G. Scott
Steering Evolution with Sequential Therapy to Prevent the Emergence of Bacterial Antibiotic Resistance. PLoS Comput. Biol. 11 (9) (2015)
Lei Xu, Peter Jeavons
Patterns from nature: Distributed greedy colouring with simple messages and minimal graph knowledge. Inf. Sci. 316 (2015)
Lei Xu, Peter Jeavons
Simple Algorithms for Distributed Leader Election in Anonymous Synchronous Rings and Complete Networks Inspired by Neural Development in Fruit Flies. Int. J. Neural Syst. 25 (7) (2015)
Peter Jeavons, Justyna Petke
Local Consistency and SAT-Solvers. CoRR (2014)
Peter Jeavons, Andrei A. Krokhin, Stanislav Zivný
The Complexity of Valued Constraint Satisfaction. Bull. EATCS 113 (2014)
Lei Xu, Peter Jeavons
Led by nature: Distributed leader election in anonymous networks. ICNC (2014)
Alex Scott, Peter Jeavons, Lei Xu
Feedback from nature: an optimal distributed algorithm for maximal independent set selection. PODC (2013)
Christopher Jefferson, Peter Jeavons, Martin James Green, Marc R. C. van Dongen
Representing and solving finite-domain constraint problems using systems of polynomials. Ann. Math. Artif. Intell. 67 (3-4) (2013)
Lei Xu, Xiangxiang Zeng, Peter Jeavons
A Polynomial-Time Solution to Constraint Satisfaction Problems by Neural-like P Systems. Int. J. Unconv. Comput. 9 (5-6) (2013)
Peter Jeavons, Justyna Petke
Local Consistency and SAT-Solvers. J. Artif. Intell. Res. 43 (2012)
Alex Scott, Peter Jeavons, Lei Xu
Feedback from nature: an optimal distributed algorithm for maximal independent set selection CoRR (2012)
Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen
Optimization Methods for the Partner Units Problem. CPAIOR (2011)
Justyna Petke, Peter Jeavons
The Order Encoding: From Tractable CSP to Tractable SAT. SAT (2011)
Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
Structural Decomposition Methods and What They are Good For. STACS (2011)
Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
Tackling the Partner Units Configuration Problem. IJCAI (2011)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
A Maximal Tractable Class of Soft Constraints CoRR (2011)
Justyna Petke, Peter Jeavons
Local Consistency and SAT-Solvers. CP (2010)
Ferdinand Börner, Andrei A. Bulatov, Hubie Chen, Peter Jeavons, Andrei A. Krokhin
The complexity of constraint satisfaction games and QCSP. Inf. Comput. 207 (9) (2009)
Peter Jeavons
Presenting Constraints. TABLEAUX (2009)
Peter Jeavons
Presenting Constraints. FTP (2009)
David A. Cohen, Peter Jeavons, Marc Gyssens
A unified theory of structural tractability for constraint satisfaction problems. J. Comput. Syst. Sci. 74 (5) (2008)
Stanislav Zivný, Peter Jeavons
Classes of Submodular Constraints Expressible by Graph Cuts. CP (2008)
David A. Cohen, Martin C. Cooper, Peter Jeavons
Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Theor. Comput. Sci. 401 (1-3) (2008)
Louis W. G. Barton, Peter Jeavons, John A. Caldwell, Koon Shan Barry Ng
First class objects and indexes for chant manuscripts. JCDL (2007)
Gaofeng Huang, Peter Jeavons
A Geometrical Model for the SNP Motif Identification Problem. BIBE (2007)
Gaofeng Huang, Peter Jeavons, Dominic Kwiatkowski
Exact and Heuristic Approaches for Identifying Disease-Associated SNP Motifs. APBC (2007)
David A. Cohen, Peter Jeavons, Stanislav Zivný
The Expressive Power of Valued Constraints: Hierarchies and Collapses. CP (2007)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Constraint Symmetry and Solution Symmetry. AAAI (2006)
David A. Cohen, Martin C. Cooper, Peter Jeavons
An Algebraic Characterisation of Complexity for Valued Constraint. CP (2006)
Sumedha Gunewardena, Peter Jeavons, Zhaolei Zhang
Enhancing the Prediction of Transcription Factor Binding Sites by Incorporating Structural Properties and Nucleotide Covariations. J. Comput. Biol. 13 (4) (2006)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
The complexity of soft constraint satisfaction. Artif. Intell. 170 (11) (2006)
David A. Cohen, Marc Gyssens, Peter Jeavons
A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. Complexity of Constraints (2006)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. Constraints An Int. J. 11 (2-3) (2006)
Louis W. G. Barton, John A. Caldwell, Peter Jeavons
E-library of medieval chant manuscript transcriptions. JCDL (2005)
David A. Cohen, Peter Jeavons, Marc Gyssens
A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. IJCAI (2005)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. CP (2005)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
Supermodular functions and the complexity of MAX CSP. Discret. Appl. Math. 149 (1-3) (2005)
Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin
Classifying the Complexity of Constraints Using Finite Algebras. SIAM J. Comput. 34 (3) (2005)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
Identifying Efficiently Solvable Cases of Max CSP. STACS (2004)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
A Maximal Tractable Class of Soft Constraints. J. Artif. Intell. Res. 22 (2004)
Richard Gault, Peter Jeavons
Implementing a Test for Tractability. Constraints An Int. J. 9 (2) (2004)
Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
Constraint Satisfaction Problems on Intervals and Length. SIAM J. Discret. Math. 17 (3) (2004)
David A. Cohen, Martin C. Cooper, Peter Jeavons
A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. CP (2004)
David A. Cohen, Peter Jeavons, Richard Gault
New Tractable Classes From Old. Constraints An Int. J. 8 (3) (2003)
Andrei A. Krokhin, Andrei A. Bulatov, Peter Jeavons
Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey. ISMVL (2003)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
Soft Constraints: Complexity and Multimorphisms. CP (2003)
Andrei A. Bulatov, Peter Jeavons
An Algebraic Approach to Multi-sorted Constraints. CP (2003)
Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. J. ACM 50 (5) (2003)
Víctor Dalmau, Peter Jeavons
Learnability of quantified formulas. Theor. Comput. Sci. 306 (1-3) (2003)
Ferdinand Börner, Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin
Quantified Constraints: Algorithms and Complexity. CSL (2003)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
A Maximal Tractable Class of Soft Constraints. IJCAI (2003)
Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
The Complexity of Constraints on Intervals and Lengths. STACS (2002)
P. S. Umesh Adiga, A. Bhomra, M. G. Turri, A. Nicod, S. R. Datta, Peter Jeavons, Richard Mott, Jonathan Flint
Automatic analysis of agarose gel images. Bioinform. 17 (11) (2001)
Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
The complexity of constraints on intervals and lengths Electron. Colloquium Comput. Complex. (077) (2001)
Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons
The complexity of maximal constraint languages. STOC (2001)
Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation. IJCAI (2001)
David A. Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis
Building tractable disjunctive constraints. J. ACM 47 (5) (2000)
Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons
Constraint Satisfaction Problems and Finite Algebras. ICALP (2000)
David A. Cohen, Peter Jeavons, Richard Gault
New Tractable Classes from Old. CP (2000)
Víctor Dalmau, Peter Jeavons
Learnability of Quantified Formulas. EuroCOLT (1999)
Peter Jeavons, David A. Cohen, Marc Gyssens
How to Determine the Expressive Power of Constraints. Constraints An Int. J. 4 (2) (1999)
Peter Jeavons
Constructing Constraints. CP (1998)
Peter Jeavons, David A. Cohen, Justin Pearson
Constraints and Universal Algebra. Ann. Math. Artif. Intell. 24 (1-4) (1998)
Peter Jeavons, David A. Cohen, Martin C. Cooper
Constraints, Consistency and Closure. Artif. Intell. 101 (1-2) (1998)
Peter Jeavons
On the Algebraic Structure of Combinatorial Problems. Theor. Comput. Sci. 200 (1-2) (1998)
David A. Cohen, Peter Jeavons, Manolis Koubarakis
Tractable Disjunctive Constraints. CP (1997)
Peter Jeavons, David A. Cohen, Marc Gyssens
Closure properties of constraints. J. ACM 44 (4) (1997)
David A. Cohen, Marc Gyssens, Peter Jeavons
Derivation of Constraints and Database Relations. CP (1996)
Peter Jeavons, David A. Cohen, Marc Gyssens
A test for Tractability. CP (1996)
Peter Jeavons, David A. Cohen
An Algebraic Characterization of Tractable Constraints. COCOON (1995)
Peter Jeavons, David A. Cohen, Marc Gyssens
A Unifying Framework for Tractable Constraints. CP (1995)
Peter Jeavons, Martin C. Cooper
Tractable Constraints on Ordered Domains. Artif. Intell. 79 (2) (1995)
Peter Jeavons, David A. Cohen, Martin C. Cooper
A Substitution Operation for Constraints. PPCP (1994)
Peter Jeavons
Recovering a Relation from a Decomposition Using Constraint Satisfaction. Inf. Sci. 78 (3-4) (1994)
Peter Jeavons, David A. Cohen, John Shawe-Taylor
Generating binary sequences for stochastic computing. IEEE Trans. Inf. Theory 40 (3) (1994)
Marc Gyssens, Peter Jeavons, David A. Cohen
Decomposing Constraint Satisfaction Problems Using Database Techniques. Artif. Intell. 66 (1) (1994)
Martin C. Cooper, David A. Cohen, Peter Jeavons
Characterising Tractable Constraints. Artif. Intell. 65 (2) (1994)
Peter Jeavons
Counting Representable Sets on Simple Graphs. Discret. Appl. Math. 47 (1) (1993)