Peter Jeavons - RankMe

83 papers A* 8A 18B 5C 1Misc 2Journal 41Unranked 7

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