Peter Jeavons
Orcid: 0000-0003-4333-8506Affiliations:
- University of Oxford, UK
According to our database1,
Peter Jeavons
authored at least 90 papers
between 1993 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2020
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search.
J. Artif. Intell. Res., 2020
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2020
2019
Inf. Comput., 2019
2017
SIAM J. Discret. Math., 2017
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
2016
Feedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouring.
Distributed Comput., 2016
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016
2015
Steering Evolution with Sequential Therapy to Prevent the Emergence of Bacterial Antibiotic Resistance.
PLoS Comput. Biol., 2015
Patterns from nature: Distributed greedy colouring with simple messages and minimal graph knowledge.
Inf. Sci., 2015
Simple Algorithms for Distributed Leader Election in Anonymous Synchronous Rings and Complete Networks Inspired by Neural Development in Fruit Flies.
Int. J. Neural Syst., 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the 10th International Conference on Natural Computation, 2014
Proceedings of the Tractability: Practical Approaches to Hard Problems, 2014
2013
Neural Comput., 2013
A Polynomial-Time Solution to Constraint Satisfaction Problems by Neural-like P Systems.
Int. J. Unconv. Comput., 2013
Representing and solving finite-domain constraint problems using systems of polynomials.
Ann. Math. Artif. Intell., 2013
Feedback from nature: an optimal distributed algorithm for maximal independent set selection.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
2012
2011
Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011
2010
Constraints An Int. J., 2010
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination.
Artif. Intell., 2010
2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
Proceedings of the Principles and Practice of Constraint Programming, 2009
2008
Theor. Comput. Sci., 2008
Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms.
Theor. Comput. Sci., 2008
J. Comput. Syst. Sci., 2008
Proceedings of the ECAI 2008, 2008
Proceedings of the Principles and Practice of Constraint Programming, 2008
2007
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2007
Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007
Proceedings of 5th Asia-Pacific Bioinformatics Conference, 2007
2006
Proceedings of the Handbook of Constraint Programming, 2006
Enhancing the Prediction of Transcription Factor Binding Sites by Incorporating Structural Properties and Nucleotide Covariations.
J. Comput. Biol., 2006
Constraints An Int. J., 2006
A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems.
Proceedings of the Complexity of Constraints, 01.10. - 06.10.2006, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
2005
SIAM J. Comput., 2005
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2005
A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
SIAM J. Discret. Math., 2004
Proceedings of the STACS 2004, 2004
A Complete Characterization of Complexity for Boolean Constraint Optimization Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2004
2003
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra.
J. ACM, 2003
Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey.
Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003
Proceedings of the Computer Science Logic, 17th International Workshop, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
2001
Electron. Colloquium Comput. Complex., 2001
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001
A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
1999
1998
Proceedings of the Principles and Practice of Constraint Programming, 1998
1997
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997
1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
1995
Proceedings of the Principles and Practice of Constraint Programming, 1995
Proceedings of the Computing and Combinatorics, First Annual International Conference, 1995
1994
Inf. Sci., 1994
Artif. Intell., 1994
Proceedings of the Principles and Practice of Constraint Programming, 1994
1993