Search the dblp DataBase
Peter Jeavons :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marc Gyssens , Peter Jeavons , David A. Cohen Decomposing Constraint Satisfaction Problems Using Database Techniques. [Citation Graph (3, 0)][DBLP ] Artif. Intell., 1994, v:66, n:1, pp:57-89 [Journal ] Peter Jeavons , David A. Cohen , Marc Gyssens A Unifying Framework for Tractable Constraints. [Citation Graph (2, 0)][DBLP ] CP, 1995, pp:276-291 [Conf ] Peter Jeavons , David A. Cohen , Marc Gyssens A test for Tractability. [Citation Graph (2, 0)][DBLP ] CP, 1996, pp:267-281 [Conf ] Peter Jeavons , David A. Cohen , Marc Gyssens Closure properties of constraints. [Citation Graph (2, 0)][DBLP ] J. ACM, 1997, v:44, n:4, pp:527-548 [Journal ] David A. Cohen , Peter Jeavons , Manolis Koubarakis Tractable Disjunctive Constraints. [Citation Graph (1, 0)][DBLP ] CP, 1997, pp:478-490 [Conf ] David A. Cohen , Peter Jeavons , Christopher Jefferson , Karen E. Petrie , Barbara M. Smith Constraint Symmetry and Solution Symmetry. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] Gaofeng Huang , Peter Jeavons , Dominic Kwiatkowski Exact and Heuristic Approaches for Identifying Disease-Associated SNP Motifs. [Citation Graph (0, 0)][DBLP ] APBC, 2007, pp:175-184 [Conf ] Peter Jeavons , David A. Cohen An Algebraic Characterization of Tractable Constraints. [Citation Graph (0, 0)][DBLP ] COCOON, 1995, pp:633-642 [Conf ] Andrei A. Bulatov , Peter Jeavons An Algebraic Approach to Multi-sorted Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:183-198 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:212-226 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons An Algebraic Characterisation of Complexity for Valued Constraint. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:107-121 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin Soft Constraints: Complexity and Multimorphisms. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:244-258 [Conf ] David A. Cohen , Marc Gyssens , Peter Jeavons Derivation of Constraints and Database Relations. [Citation Graph (0, 0)][DBLP ] CP, 1996, pp:134-148 [Conf ] David A. Cohen , Peter Jeavons , Richard Gault New Tractable Classes from Old. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:160-171 [Conf ] David A. Cohen , Peter Jeavons , Christopher Jefferson , Karen E. Petrie , Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:17-31 [Conf ] Peter Jeavons Constructing Constraints. [Citation Graph (0, 0)][DBLP ] CP, 1998, pp:2-16 [Conf ] Ferdinand Börner , Andrei A. Bulatov , Peter Jeavons , Andrei A. Krokhin Quantified Constraints: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP ] CSL, 2003, pp:58-70 [Conf ] Víctor Dalmau , Peter Jeavons Learnability of Quantified Formulas. [Citation Graph (0, 0)][DBLP ] EuroCOLT, 1999, pp:63-78 [Conf ] Andrei A. Bulatov , Andrei A. Krokhin , Peter Jeavons Constraint Satisfaction Problems and Finite Algebras. [Citation Graph (0, 0)][DBLP ] ICALP, 2000, pp:272-282 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin A Maximal Tractable Class of Soft Constraints. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:209-214 [Conf ] David A. Cohen , Peter Jeavons , Marc Gyssens A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:72-77 [Conf ] Andrei A. Krokhin , Peter Jeavons , Peter Jonsson A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:83-88 [Conf ] Andrei A. Krokhin , Andrei A. Bulatov , Peter Jeavons Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey. [Citation Graph (0, 0)][DBLP ] ISMVL, 2003, pp:343-0 [Conf ] Louis W. G. Barton , John A. Caldwell , Peter Jeavons E-library of medieval chant manuscript transcriptions. [Citation Graph (0, 0)][DBLP ] JCDL, 2005, pp:320-329 [Conf ] Peter Jeavons , David A. Cohen , Martin C. Cooper A Substitution Operation for Constraints. [Citation Graph (0, 0)][DBLP ] PPCP, 1994, pp:1-9 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin Identifying Efficiently Solvable Cases of Max CSP. [Citation Graph (0, 0)][DBLP ] STACS, 2004, pp:152-163 [Conf ] Andrei A. Krokhin , Peter Jeavons , Peter Jonsson The Complexity of Constraints on Intervals and Lengths. [Citation Graph (0, 0)][DBLP ] STACS, 2002, pp:443-454 [Conf ] Andrei A. Bulatov , Andrei A. Krokhin , Peter Jeavons The complexity of maximal constraint languages. [Citation Graph (0, 0)][DBLP ] STOC, 2001, pp:667-674 [Conf ] Martin C. Cooper , David A. Cohen , Peter Jeavons Characterising Tractable Constraints. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1994, v:65, n:2, pp:347-361 [Journal ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin The complexity of soft constraint satisfaction. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2006, v:170, n:11, pp:983-1016 [Journal ] Peter Jeavons , Martin C. Cooper Tractable Constraints on Ordered Domains. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1995, v:79, n:2, pp:327-339 [Journal ] Peter Jeavons , David A. Cohen , Martin C. Cooper Constraints, Consistency and Closure. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1998, v:101, n:1-2, pp:251-265 [Journal ] Peter Jeavons , David A. Cohen , Justin Pearson Constraints and Universal Algebra. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1998, v:24, n:1-4, pp:51-67 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Bioinformatics, 2001, v:17, n:11, pp:1084-1089 [Journal ] Peter Jeavons , David A. Cohen , Marc Gyssens How to Determine the Expressive Power of Constraints. [Citation Graph (0, 0)][DBLP ] Constraints, 1999, v:4, n:2, pp:113-131 [Journal ] David A. Cohen , Peter Jeavons , Richard Gault New Tractable Classes From Old. [Citation Graph (0, 0)][DBLP ] Constraints, 2003, v:8, n:3, pp:263-282 [Journal ] David A. Cohen , Peter Jeavons , Christopher Jefferson , Karen E. Petrie , Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Constraints, 2006, v:11, n:2-3, pp:115-137 [Journal ] Richard Gault , Peter Jeavons Implementing a Test for Tractability. [Citation Graph (0, 0)][DBLP ] Constraints, 2004, v:9, n:2, pp:139-160 [Journal ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin Supermodular functions and the complexity of MAX CSP. [Citation Graph (0, 0)][DBLP ] Discrete Applied Mathematics, 2005, v:149, n:1-3, pp:53-72 [Journal ] Peter Jeavons Counting Representable Sets on Simple Graphs. [Citation Graph (0, 0)][DBLP ] Discrete Applied Mathematics, 1993, v:47, n:1, pp:33-46 [Journal ] Andrei A. Krokhin , Peter Jeavons , Peter Jonsson The complexity of constraints on intervals and lengths [Citation Graph (0, 0)][DBLP ] Electronic Colloquium on Computational Complexity (ECCC), 2001, v:, n:077, pp:- [Journal ] Peter Jeavons Recovering a Relation from a Decomposition Using Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1994, v:78, n:3-4, pp:229-256 [Journal ] David A. Cohen , Peter Jeavons , Peter Jonsson , Manolis Koubarakis Building tractable disjunctive constraints. [Citation Graph (0, 0)][DBLP ] J. ACM, 2000, v:47, n:5, pp:826-853 [Journal ] Andrei A. Krokhin , Peter Jeavons , Peter Jonsson Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. [Citation Graph (0, 0)][DBLP ] J. ACM, 2003, v:50, n:5, pp:591-640 [Journal ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin A Maximal Tractable Class of Soft Constraints. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 2004, v:22, n:, pp:1-22 [Journal ] Andrei A. Bulatov , Peter Jeavons , Andrei A. Krokhin Classifying the Complexity of Constraints Using Finite Algebras. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 2005, v:34, n:3, pp:720-742 [Journal ] Andrei A. Krokhin , Peter Jeavons , Peter Jonsson Constraint Satisfaction Problems on Intervals and Length. [Citation Graph (0, 0)][DBLP ] SIAM J. Discrete Math., 2004, v:17, n:3, pp:453-477 [Journal ] Víctor Dalmau , Peter Jeavons Learnability of quantified formulas. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:306, n:1-3, pp:485-511 [Journal ] Peter Jeavons On the Algebraic Structure of Combinatorial Problems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:185-204 [Journal ] Peter Jeavons , David A. Cohen , John Shawe-Taylor Generating binary sequences for stochastic computing. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Information Theory, 1994, v:40, n:3, pp:716-720 [Journal ] David A. Cohen , Peter Jeavons , Stanislav Zivný The Expressive Power of Valued Constraints: Hierarchies and Collapses. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:798-805 [Conf ] Louis W. G. Barton , Peter Jeavons , John A. Caldwell , Koon Shan Barry Ng First class objects and indexes for chant manuscripts. [Citation Graph (0, 0)][DBLP ] JCDL, 2007, pp:415-416 [Conf ] A Geometrical Model for the SNP Motif Identification Problem. [Citation Graph (, )][DBLP ] Classes of Submodular Constraints Expressible by Graph Cuts. [Citation Graph (, )][DBLP ] A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. [Citation Graph (, )][DBLP ] Presenting Constraints. [Citation Graph (, )][DBLP ] Search in 0.033secs, Finished in 0.037secs