Peter Jeavons

Peter G. Jeavons

	2012
77		Peter Jeavons, Justyna Petke: Local Consistency and SAT-Solvers. J. Artif. Intell. Res. (JAIR) 43: 329-351 (2012)
	2011
76		Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen: Optimization Methods for the Partner Units Problem. CPAIOR 2011: 4-19
75		Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen: Tackling the Partner Units Configuration Problem. IJCAI 2011: 497-503
74		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: 231-242
73		Justyna Petke, Peter Jeavons: The Order Encoding: From Tractable CSP to Tractable SAT. SAT 2011: 371-372
72		Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen: Structural Decomposition Methods and What They are Good For. STACS 2011: 12-28
71		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints CoRR abs/1107.0043: (2011)
	2010
70		Justyna Petke, Peter Jeavons: Local Consistency and SAT-Solvers. CP 2010: 398-413
69		Martin C. Cooper, Peter G. Jeavons, András Z. Salamon: Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. Artif. Intell. 174(9-10): 570-584 (2010)
68		Stanislav Zivny, Peter G. Jeavons: Classes of submodular constraints expressible by graph cuts. Constraints 15(3): 430-452 (2010)
	2009
67		Stanislav Zivny, Peter G. Jeavons: The Complexity of Valued Constraint Models. CP 2009: 833-841
66		Stanislav Zivny, David A. Cohen, Peter G. Jeavons: The Expressive Power of Binary Submodular Functions. MFCS 2009: 744-757
65		Peter Jeavons: Presenting Constraints. TABLEAUX 2009: 1-15
64		Stanislav Zivny, David A. Cohen, Peter G. Jeavons: The expressive power of binary submodular functions. Discrete Applied Mathematics 157(15): 3347-3358 (2009)
63		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): 923-944 (2009)
	2008
62		Stanislav Zivny, Peter Jeavons: Classes of Submodular Constraints Expressible by Graph Cuts. CP 2008: 112-127
61		András Z. Salamon, Peter G. Jeavons: Perfect Constraints Are Tractable. CP 2008: 524-528
60		Martin C. Cooper, Peter G. Jeavons, András Z. Salamon: Hybrid tractable CSPs which generalize tree structure. ECAI 2008: 530-534
59		Stanislav Zivny, David A. Cohen, Peter G. Jeavons: The Expressive Power of Binary Submodular Functions CoRR abs/0811.1885: (2008)
58		David A. Cohen, Peter Jeavons, Marc Gyssens: A unified theory of structural tractability for constraint satisfaction problems. J. Comput. Syst. Sci. 74(5): 721-743 (2008)
57		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): 36-51 (2008)
56		David A. Cohen, Peter G. Jeavons, Stanislav Zivny: The expressive power of valued constraints: Hierarchies and collapses. Theor. Comput. Sci. 409(1): 137-153 (2008)
	2007
55		Gaofeng Huang, Peter Jeavons, Dominic Kwiatkowski: Exact and Heuristic Approaches for Identifying Disease-Associated SNP Motifs. APBC 2007: 175-184
54		Gaofeng Huang, Peter Jeavons: A Geometrical Model for the SNP Motif Identification Problem. BIBE 2007: 395-402
53		David A. Cohen, Peter Jeavons, Stanislav Zivny: The Expressive Power of Valued Constraints: Hierarchies and Collapses. CP 2007: 798-805
52		Louis W. G. Barton, Peter Jeavons, John A. Caldwell, Koon Shan Barry Ng: First class objects and indexes for chant manuscripts. JCDL 2007: 415-416
	2006
51		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Constraint Symmetry and Solution Symmetry. AAAI 2006: 1589-1592
50		David A. Cohen, Martin C. Cooper, Peter Jeavons: An Algebraic Characterisation of Complexity for Valued Constraint. CP 2006: 107-121
49		David A. Cohen, Marc Gyssens, Peter Jeavons: A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. Complexity of Constraints 2006
48		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: The complexity of soft constraint satisfaction. Artif. Intell. 170(11): 983-1016 (2006)
47		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. Constraints 11(2-3): 115-137 (2006)
46		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 13(4): 929-945 (2006)
	2005
45		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. CP 2005: 17-31
44		David A. Cohen, Peter Jeavons, Marc Gyssens: A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. IJCAI 2005: 72-77
43		Louis W. G. Barton, John A. Caldwell, Peter Jeavons: E-library of medieval chant manuscript transcriptions. JCDL 2005: 320-329
42		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Supermodular functions and the complexity of MAX CSP. Discrete Applied Mathematics 149(1-3): 53-72 (2005)
41		Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin: Classifying the Complexity of Constraints Using Finite Algebras. SIAM J. Comput. 34(3): 720-742 (2005)
	2004
40		David A. Cohen, Martin C. Cooper, Peter Jeavons: A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. CP 2004: 212-226
39		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Identifying Efficiently Solvable Cases of Max CSP. STACS 2004: 152-163
38		Richard Gault, Peter Jeavons: Implementing a Test for Tractability. Constraints 9(2): 139-160 (2004)
37		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints. J. Artif. Intell. Res. (JAIR) 22: 1-22 (2004)
36		Andrei A. Krokhin, Peter Jeavons, Peter Jonsson: Constraint Satisfaction Problems on Intervals and Length. SIAM J. Discrete Math. 17(3): 453-477 (2004)
	2003
35		Andrei A. Bulatov, Peter Jeavons: An Algebraic Approach to Multi-sorted Constraints. CP 2003: 183-198
34		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Soft Constraints: Complexity and Multimorphisms. CP 2003: 244-258
33		Ferdinand Börner, Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin: Quantified Constraints: Algorithms and Complexity. CSL 2003: 58-70
32		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints. IJCAI 2003: 209-214
31		Andrei A. Krokhin, Andrei A. Bulatov, Peter Jeavons: Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey. ISMVL 2003: 343-
30		David A. Cohen, Peter Jeavons, Richard Gault: New Tractable Classes From Old. Constraints 8(3): 263-282 (2003)
29		Andrei A. Krokhin, Peter Jeavons, Peter Jonsson: Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. J. ACM 50(5): 591-640 (2003)
28		Víctor Dalmau, Peter Jeavons: Learnability of quantified formulas. Theor. Comput. Sci. 306(1-3): 485-511 (2003)
	2002
27		Andrei A. Krokhin, Peter Jeavons, Peter Jonsson: The Complexity of Constraints on Intervals and Lengths. STACS 2002: 443-454
	2001
26		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: 83-88
25		Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons: The complexity of maximal constraint languages. STOC 2001: 667-674
24		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 17(11): 1084-1089 (2001)
23		Andrei A. Krokhin, Peter Jeavons, Peter Jonsson: The complexity of constraints on intervals and lengths Electronic Colloquium on Computational Complexity (ECCC)(077): (2001)
	2000
22		David A. Cohen, Peter Jeavons, Richard Gault: New Tractable Classes from Old. CP 2000: 160-171
21		Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons: Constraint Satisfaction Problems and Finite Algebras. ICALP 2000: 272-282
20		David A. Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis: Building tractable disjunctive constraints. J. ACM 47(5): 826-853 (2000)
	1999
19		Víctor Dalmau, Peter Jeavons: Learnability of Quantified Formulas. EuroCOLT 1999: 63-78
18		Peter Jeavons, David A. Cohen, Marc Gyssens: How to Determine the Expressive Power of Constraints. Constraints 4(2): 113-131 (1999)
	1998
17		Peter Jeavons: Constructing Constraints. CP 1998: 2-16
16		Peter Jeavons, David A. Cohen, Justin Pearson: Constraints and Universal Algebra. Ann. Math. Artif. Intell. 24(1-4): 51-67 (1998)
15		Peter Jeavons, David A. Cohen, Martin C. Cooper: Constraints, Consistency and Closure. Artif. Intell. 101(1-2): 251-265 (1998)
14		Peter Jeavons: On the Algebraic Structure of Combinatorial Problems. Theor. Comput. Sci. 200(1-2): 185-204 (1998)
	1997
13		David A. Cohen, Peter Jeavons, Manolis Koubarakis: Tractable Disjunctive Constraints. CP 1997: 478-490
12		Peter Jeavons, David A. Cohen, Marc Gyssens: Closure properties of constraints. J. ACM 44(4): 527-548 (1997)
	1996
11		David A. Cohen, Marc Gyssens, Peter Jeavons: Derivation of Constraints and Database Relations. CP 1996: 134-148
10		Peter Jeavons, David A. Cohen, Marc Gyssens: A test for Tractability. CP 1996: 267-281
	1995
9		Peter Jeavons, David A. Cohen: An Algebraic Characterization of Tractable Constraints. COCOON 1995: 633-642
8		Peter Jeavons, David A. Cohen, Marc Gyssens: A Unifying Framework for Tractable Constraints. CP 1995: 276-291
7		Peter Jeavons, Martin C. Cooper: Tractable Constraints on Ordered Domains. Artif. Intell. 79(2): 327-339 (1995)
	1994
6		Peter Jeavons, David A. Cohen, Martin C. Cooper: A Substitution Operation for Constraints. PPCP 1994: 1-9
5		Martin C. Cooper, David A. Cohen, Peter Jeavons: Characterising Tractable Constraints. Artif. Intell. 65(2): 347-361 (1994)
4		Marc Gyssens, Peter Jeavons, David A. Cohen: Decomposing Constraint Satisfaction Problems Using Database Techniques. Artif. Intell. 66(1): 57-89 (1994)
3		Peter Jeavons, David A. Cohen, John Shawe-Taylor: Generating binary sequences for stochastic computing. IEEE Transactions on Information Theory 40(3): 716-720 (1994)
2		Peter Jeavons: Recovering a Relation from a Decomposition Using Constraint Satisfaction. Inf. Sci. 78(3-4): 229-256 (1994)
	1993
1		Peter Jeavons: Counting Representable Sets on Simple Graphs. Discrete Applied Mathematics 47(1): 33-46 (1993)

Coauthor Index

1	P. S. Umesh Adiga	[24]
2	Markus Aschinger	[72] [75] [76]
3	Louis W. G. Barton	[43] [52]
4	A. Bhomra	[24]
5	Ferdinand Börner	[33] [63]
6	Andrei A. Bulatov	[21] [25] [31] [33] [35] [41] [63]
7	John A. Caldwell	[43] [52]
8	Hubie Chen	[63]
9	David A. Cohen	[3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [15] [16] [18] [20] [22] [30] [32] [34] [37] [39] [40] [42] [44] [45] [47] [48] [49] [50] [51] [53] [56] [57] [58] [59] [64] [66] [71] [74]
10	Martin C. Cooper	[5] [6] [7] [15] [32] [34] [37] [39] [40] [42] [48] [50] [57] [60] [69] [71]
11	Páidí Creed (Páidí J. Creed)	[74]
12	Víctor Dalmau	[19] [28]
13	S. R. Datta	[24]
14	Conrad Drescher	[72] [75] [76]
15	Jonathan Flint	[24]
16	Gerhard Friedrich	[76]
17	Richard Gault	[22] [30] [38]
18	Georg Gottlob	[72] [75] [76]
19	Sumedha Gunewardena	[46]
20	Marc Gyssens	[4] [8] [10] [11] [12] [18] [44] [49] [58]
21	Gaofeng Huang	[54] [55]
22	Christopher Jefferson	[45] [47] [51]
23	Peter Jonsson	[20] [23] [26] [27] [29] [36]
24	Manolis Koubarakis	[13] [20]
25	Andrei A. Krokhin	[21] [23] [25] [26] [27] [29] [31] [32] [33] [34] [36] [37] [39] [41] [42] [48] [63] [71]
26	Dominic Kwiatkowski	[55]
27	Richard Mott	[24]
28	Koon Shan Barry Ng	[52]
29	A. Nicod	[24]
30	Justin Pearson	[16]
31	Justyna Petke	[70] [73] [77]
32	Karen E. Petrie	[45] [47] [51]
33	Anna Ryabokon	[76]
34	András Z. Salamon	[60] [61] [69]
35	John Shawe-Taylor	[3]
36	Barbara M. Smith	[45] [47] [51]
37	Evgenij Thorstensen	[72] [75] [76]
38	M. G. Turri	[24]
39	Zhaolei Zhang	[46]
40	Stanislav Zivny	[53] [56] [59] [62] [64] [66] [67] [68] [74]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page