| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter Jeavons, Justyna Petke |
Local Consistency and SAT-Solvers.  |
J. Artif. Intell. Res. (JAIR)  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivny |
An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
A Maximal Tractable Class of Soft Constraints |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen |
Tackling the Partner Units Configuration Problem. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Justyna Petke, Peter Jeavons |
The Order Encoding: From Tractable CSP to Tractable SAT. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen |
Structural Decomposition Methods and What They are Good For. |
STACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen |
Optimization Methods for the Partner Units Problem. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Zivny, Peter G. Jeavons |
Classes of submodular constraints expressible by graph cuts. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Peter G. Jeavons, András Z. Salamon |
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Justyna Petke, Peter Jeavons |
Local Consistency and SAT-Solvers. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Zivny, David A. Cohen, Peter G. Jeavons |
The expressive power of binary submodular functions. |
Discrete Applied Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Zivny, David A. Cohen, Peter G. Jeavons |
The Expressive Power of Binary Submodular Functions. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
Decomposition of submodular functions, Pseudo-Boolean optimisation, Submodular function minimisation, Min-Cut |
| 1 | Stanislav Zivny, Peter G. Jeavons |
The Complexity of Valued Constraint Models. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinand Börner, Andrei A. Bulatov, Hubie Chen, Peter Jeavons, Andrei A. Krokhin |
The complexity of constraint satisfaction games and QCSP. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons |
Presenting Constraints. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Peter G. Jeavons, Stanislav Zivny |
The expressive power of valued constraints: Hierarchies and collapses. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Zivny, David A. Cohen, Peter G. Jeavons |
The Expressive Power of Binary Submodular Functions |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Martin C. Cooper, Peter G. Jeavons, András Z. Salamon |
Hybrid tractable CSPs which generalize tree structure. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | András Z. Salamon, Peter G. Jeavons |
Perfect Constraints Are Tractable. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons |
Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Peter Jeavons, Marc Gyssens |
A unified theory of structural tractability for constraint satisfaction problems. |
J. Comput. Syst. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Zivny, Peter Jeavons |
Classes of Submodular Constraints Expressible by Graph Cuts. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis W. G. Barton, Peter Jeavons, John A. Caldwell, Koon Shan Barry Ng |
First class objects and indexes for chant manuscripts. |
JCDL |
2007 |
DBLP DOI BibTeX RDF |
distributed content, medieval chant manuscripts, neumes, scholarly-edited index, search, images, transcription |
| 1 | Gaofeng Huang, Peter Jeavons, Dominic Kwiatkowski |
Exact and Heuristic Approaches for Identifying Disease-Associated SNP Motifs. |
APBC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gaofeng Huang, Peter Jeavons |
A Geometrical Model for the SNP Motif Identification Problem. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Peter Jeavons, Stanislav Zivny |
The Expressive Power of Valued Constraints: Hierarchies and Collapses. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. |
Constraints |
2006 |
DBLP DOI BibTeX RDF |
Symmetry, Constraint satisfaction problems |
| 1 | Sumedha Gunewardena, Peter Jeavons, Zhaolei Zhang |
Enhancing the Prediction of Transcription Factor Binding Sites by Incorporating Structural Properties and Nucleotide Covariations. |
Journal of Computational Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
The complexity of soft constraint satisfaction. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Marc Gyssens, Peter Jeavons |
A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Constraint Symmetry and Solution Symmetry. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons |
An Algebraic Characterisation of Complexity for Valued Constraint. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
Supermodular functions and the complexity of MAX CSP. |
Discrete Applied Mathematics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin |
Classifying the Complexity of Constraints Using Finite Algebras. |
SIAM J. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Peter Jeavons, Marc Gyssens |
A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Louis W. G. Barton, John A. Caldwell, Peter Jeavons |
E-library of medieval chant manuscript transcriptions. |
JCDL |
2005 |
DBLP DOI BibTeX RDF |
chant, medieval manuscripts, XML, digital libraries, search, comparison, data representation, transcription, musical notation |
| 1 | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Gault, Peter Jeavons |
Implementing a Test for Tractability. |
Constraints |
2004 |
DBLP DOI BibTeX RDF |
Polyanna, complexity, polymorphism, symmetry, constraint language |
| 1 | Andrei A. Krokhin, Peter Jeavons, Peter Jonsson |
Constraint Satisfaction Problems on Intervals and Length. |
SIAM J. Discrete Math. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
A Maximal Tractable Class of Soft Constraints. |
J. Artif. Intell. Res. (JAIR) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
Identifying Efficiently Solvable Cases of Max CSP. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons |
A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor Dalmau, Peter Jeavons |
Learnability of quantified formulas. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Peter Jeavons, Richard Gault |
New Tractable Classes From Old. |
Constraints |
2003 |
DBLP DOI BibTeX RDF |
tractable classes, disjunctive constraints, complexity, constraint satisfaction problems |
| 1 | Andrei A. Krokhin, Peter Jeavons, Peter Jonsson |
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
Allen's algebra, dichotomy theorem, representing graphs by intervals, satisfiability of temporal constraints, tractable cases, complexity, NP-completeness |
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
A Maximal Tractable Class of Soft Constraints. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrei A. Krokhin, Andrei A. Bulatov, Peter Jeavons |
Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey. (PDF / PS) |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinand Börner, Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin |
Quantified Constraints: Algorithms and Complexity. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Bulatov, Peter Jeavons |
An Algebraic Approach to Multi-sorted Constraints. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
Soft Constraints: Complexity and Multimorphisms. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Krokhin, Peter Jeavons, Peter Jonsson |
The Complexity of Constraints on Intervals and Lengths. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Krokhin, Peter Jeavons, Peter Jonsson |
The complexity of constraints on intervals and lengths |
Electronic Colloquium on Computational Complexity (ECCC) |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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. |
Bioinformatics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons |
The complexity of maximal constraint languages. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
algebraic invariance property, constraint satisfaciton problem, relational clone, complexity, NP-completeness, tractability, constraint language |
| 1 | David A. Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis |
Building tractable disjunctive constraints. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
disjunctive constraints, complexity, NP-completeness, constraint satisfaction problem, relations, independence |
| 1 | Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons |
Constraint Satisfaction Problems and Finite Algebras. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Peter Jeavons, Richard Gault |
New Tractable Classes from Old. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen, Marc Gyssens |
How to Determine the Expressive Power of Constraints. |
Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor Dalmau, Peter Jeavons |
Learnability of Quantified Formulas. |
EuroCOLT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons |
On the Algebraic Structure of Combinatorial Problems. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen, Martin C. Cooper |
Constraints, Consistency and Closure. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen, Justin Pearson |
Constraints and Universal Algebra. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons |
Constructing Constraints. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen, Marc Gyssens |
Closure properties of constraints. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
indicator problem, complexity, NP-completeness, constraint satisfaction problem |
| 1 | David A. Cohen, Peter Jeavons, Manolis Koubarakis |
Tractable Disjunctive Constraints. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Marc Gyssens, Peter Jeavons |
Derivation of Constraints and Database Relations. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen, Marc Gyssens |
A test for Tractability. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, Martin C. Cooper |
Tractable Constraints on Ordered Domains. |
Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen |
An Algebraic Characterization of Tractable Constraints. |
COCOON |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen, Marc Gyssens |
A Unifying Framework for Tractable Constraints. |
CP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons |
Recovering a Relation from a Decomposition Using Constraint Satisfaction. |
Inf. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, David A. Cohen, Peter Jeavons |
Characterising Tractable Constraints. |
Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Gyssens, Peter Jeavons, David A. Cohen |
Decomposing Constraint Satisfaction Problems Using Database Techniques. |
Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen, John Shawe-Taylor |
Generating binary sequences for stochastic computing. |
IEEE Transactions on Information Theory |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen, Martin C. Cooper |
A Substitution Operation for Constraints. |
PPCP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons |
Counting Representable Sets on Simple Graphs. |
Discrete Applied Mathematics |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")