×
Compute Distance To:
Author ID: jeavons.peter-g Recent zbMATH articles by "Jeavons, Peter G."
Published as: Jeavons, Peter; Jeavons, Peter G.; Jeavons, P.
External Links: MGP
Documents Indexed: 63 Publications since 1993
Co-Authors: 30 Co-Authors with 59 Joint Publications
821 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

55 Publications have been cited 957 times in 433 Documents Cited by Year
Classifying the complexity of constraints using finite algebras. Zbl 1071.08002
Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei
172
2005
Closure properties of constraints. Zbl 0890.68064
Jeavons, Peter; Cohen, David; Gyssens, Marc
121
1997
On the algebraic structure of combinatorial problems. Zbl 0915.68074
Jeavons, Peter
87
1998
Constraints, consistency and closure. Zbl 0909.68076
Jeavons, Peter; Cohen, David; Cooper, Martin C.
59
1998
Tractable constraints on ordered domains. Zbl 1013.68503
Jeavons, Peter G.; Cooper, Martin C.
39
1995
The complexity of soft constraint satisfaction. Zbl 1131.68520
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei A.
34
2006
Decomposing constraint satisfaction problems using database techniques. Zbl 0803.68090
Gyssens, Marc; Jeavons, Peter G.; Cohen, David A.
30
1994
Constraint satisfaction problems and finite algebras. Zbl 0973.68181
Bulatov, Andrei A.; Krokhin, Andrei A.; Jeavons, Peter
30
2000
Reasoning about temporal relations, the tractable subalgebras of Allen’s interval algebra. Zbl 1325.68220
Krokhin, Andrei; Jeavons, Peter; Jonsson, Peter
24
2003
Characterising tractable constraints. Zbl 0803.68053
Cooper, Martin C.; Cohen, David A.; Jeavons, Peter G.
24
1994
An algebraic theory of complexity for discrete optimization. Zbl 1305.08007
Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav
21
2013
A unified theory of structural tractability for constraint satisfaction problems. Zbl 1151.68640
Cohen, David; Jeavons, Peter; Gyssens, Marc
20
2008
Building tractable disjunctive constraints. Zbl 1320.68169
Cohen, David; Jeavons, Peter; Jonsson, Peter; Koubarakis, Manolis
18
2000
Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
16
2006
A maximal tractable class of soft constraints. Zbl 1080.68658
Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei
15
2004
Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination. Zbl 1205.68372
Cooper, Martin C.; Jeavons, Peter G.; Salamon, András Z.
15
2010
The complexity of constraint satisfaction: an algebraic approach. Zbl 1087.68107
Krokhin, Andrei; Bulatov, Andrei; Jeavons, Peter
14
2005
The complexity of constraint satisfaction games and QCSP. Zbl 1188.68269
Börner, F.; Bulatov, A.; Chen, H.; Jeavons, P.; Krokhin, A.
14
2009
Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Zbl 1154.90011
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.
14
2008
An algebraic approach to multi-sorted constraints. Zbl 1273.68337
Bulatov, Andrei A.; Jeavons, Peter
14
2003
The expressive power of binary submodular functions. Zbl 1229.90093
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
14
2009
The complexity of maximal constraint languages. Zbl 1323.68294
Bulatov, Andrei; Krokhin, Andrei; Jeavons, Peter
13
2001
Constraints and universal algebra. Zbl 0930.68143
Jeavons, Peter; Cohen, David; Pearson, Justin
12
1998
Optimization methods for the partner units problem. Zbl 1302.90164
Aschinger, Markus; Drescher, Conrad; Friedrich, Gerhard; Gottlob, Georg; Jeavons, Peter; Ryabokon, Anna; Thorstensen, Evgenij
11
2011
Supermodular functions and the complexity of MAX CSP. Zbl 1146.68378
Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei
11
2005
An algebraic characterisation of complexity for valued constraint. Zbl 1160.68540
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.
10
2006
Quantified constraints: Algorithms and complexity. Zbl 1116.03314
Börner, Ferdinand; Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei
10
2003
Constraint satisfaction problems on intervals and lengths. Zbl 1101.68043
Krokhin, Andrei; Jeavons, Peter; Jonsson, Peter
9
2004
Feedback from nature, an optimal distributed algorithm for Maximal Independent Set selection. Zbl 1323.68560
Scott, Alex; Jeavons, Peter; Xu, Lei
8
2013
Learnability of quantified formulas. Zbl 1060.68049
Dalmau, Víctor; Jeavons, Peter
8
2003
Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196
Živný, Stanislav; Jeavons, Peter G.
7
2010
Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
6
2005
How to determine the expressive power of constraints. Zbl 0951.68190
Jeavons, Peter; Cohen, David; Gyssens, Marc
6
1999
Structural decomposition methods and what they are good for. Zbl 1230.68157
Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Jeavons, Peter; Thorstensen, Evgenij
5
2011
Finite semigroups imposing tractable constraints. Zbl 1032.20037
Bulatov, Andrei; Jeavons, Peter; Volkov, Mikhail
5
2002
A complete characterization of complexity for Boolean constraint optimization problems. Zbl 1152.68549
Cohen, David; Cooper, Martin; Jeavons, Peter
4
2004
Patterns from nature: distributed greedy colouring with simple messages and minimal graph knowledge. Zbl 1390.90453
Xu, Lei; Jeavons, Peter
3
2015
Binarisation for valued constraint satisfaction problems. Zbl 1477.68121
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav
3
2017
Simple neural-like P systems for maximal independent set selection. Zbl 1414.68032
Xu, Lei; Jeavons, Peter
3
2013
The complexity of valued constraint satisfaction. Zbl 1409.68141
Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav
3
2014
An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106
Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav
3
2011
Implementing a test for tractability. Zbl 1074.68610
Gault, Richard; Jeavons, Peter
3
2004
Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav
2
2019
The power of propagation: when GAC is enough. Zbl 1387.90130
Cohen, David A.; Jeavons, Peter G.
2
2017
Feedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouring. Zbl 1408.68131
Jeavons, Peter; Scott, Alex; Xu, Lei
2
2016
Local consistency and SAT-solvers. Zbl 1237.68187
Jeavons, P.; Petke, J.
2
2012
Soft constraints: complexity and multimorphisms. Zbl 1273.68342
Cohen, David A.; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei
2
2003
The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061
Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav
2
2008
When constraints are easy to satisfy. Zbl 0874.68086
Jeavons, P.; Cohen, D.; Cooper, M.
1
1997
Derivation of constraints and database relations. Zbl 0895.68032
Cohen, David; Gyssens, Marc; Jeavons, Peter
1
1996
Counting representable sets on simple graphs. Zbl 0792.05054
Jeavons, Peter G.
1
1993
The expressive power of binary submodular functions. Zbl 1250.68122
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
1
2009
Representing and solving finite-domain constraint problems using systems of polynomials. Zbl 1272.68327
Jefferson, Christopher; Jeavons, Peter; Green, Martin J.; van Dongen, M. R. C.
1
2013
New tractable classes from old. Zbl 1057.68113
Cohen, David; Jeavons, Peter; Gault, Richard
1
2003
New tractable classes from old. Zbl 1044.68747
Cohen, David; Jeavons, Peter; Gault, Richard
1
2000
Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav
2
2019
Binarisation for valued constraint satisfaction problems. Zbl 1477.68121
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav
3
2017
The power of propagation: when GAC is enough. Zbl 1387.90130
Cohen, David A.; Jeavons, Peter G.
2
2017
Feedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouring. Zbl 1408.68131
Jeavons, Peter; Scott, Alex; Xu, Lei
2
2016
Patterns from nature: distributed greedy colouring with simple messages and minimal graph knowledge. Zbl 1390.90453
Xu, Lei; Jeavons, Peter
3
2015
The complexity of valued constraint satisfaction. Zbl 1409.68141
Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav
3
2014
An algebraic theory of complexity for discrete optimization. Zbl 1305.08007
Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav
21
2013
Feedback from nature, an optimal distributed algorithm for Maximal Independent Set selection. Zbl 1323.68560
Scott, Alex; Jeavons, Peter; Xu, Lei
8
2013
Simple neural-like P systems for maximal independent set selection. Zbl 1414.68032
Xu, Lei; Jeavons, Peter
3
2013
Representing and solving finite-domain constraint problems using systems of polynomials. Zbl 1272.68327
Jefferson, Christopher; Jeavons, Peter; Green, Martin J.; van Dongen, M. R. C.
1
2013
Local consistency and SAT-solvers. Zbl 1237.68187
Jeavons, P.; Petke, J.
2
2012
Optimization methods for the partner units problem. Zbl 1302.90164
Aschinger, Markus; Drescher, Conrad; Friedrich, Gerhard; Gottlob, Georg; Jeavons, Peter; Ryabokon, Anna; Thorstensen, Evgenij
11
2011
Structural decomposition methods and what they are good for. Zbl 1230.68157
Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Jeavons, Peter; Thorstensen, Evgenij
5
2011
An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106
Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav
3
2011
Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination. Zbl 1205.68372
Cooper, Martin C.; Jeavons, Peter G.; Salamon, András Z.
15
2010
Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196
Živný, Stanislav; Jeavons, Peter G.
7
2010
The complexity of constraint satisfaction games and QCSP. Zbl 1188.68269
Börner, F.; Bulatov, A.; Chen, H.; Jeavons, P.; Krokhin, A.
14
2009
The expressive power of binary submodular functions. Zbl 1229.90093
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
14
2009
The expressive power of binary submodular functions. Zbl 1250.68122
Živný, Stanislav; Cohen, David A.; Jeavons, Peter G.
1
2009
A unified theory of structural tractability for constraint satisfaction problems. Zbl 1151.68640
Cohen, David; Jeavons, Peter; Gyssens, Marc
20
2008
Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Zbl 1154.90011
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.
14
2008
The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061
Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav
2
2008
The complexity of soft constraint satisfaction. Zbl 1131.68520
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei A.
34
2006
Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
16
2006
An algebraic characterisation of complexity for valued constraint. Zbl 1160.68540
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.
10
2006
Classifying the complexity of constraints using finite algebras. Zbl 1071.08002
Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei
172
2005
The complexity of constraint satisfaction: an algebraic approach. Zbl 1087.68107
Krokhin, Andrei; Bulatov, Andrei; Jeavons, Peter
14
2005
Supermodular functions and the complexity of MAX CSP. Zbl 1146.68378
Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei
11
2005
Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
6
2005
A maximal tractable class of soft constraints. Zbl 1080.68658
Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei
15
2004
Constraint satisfaction problems on intervals and lengths. Zbl 1101.68043
Krokhin, Andrei; Jeavons, Peter; Jonsson, Peter
9
2004
A complete characterization of complexity for Boolean constraint optimization problems. Zbl 1152.68549
Cohen, David; Cooper, Martin; Jeavons, Peter
4
2004
Implementing a test for tractability. Zbl 1074.68610
Gault, Richard; Jeavons, Peter
3
2004
Reasoning about temporal relations, the tractable subalgebras of Allen’s interval algebra. Zbl 1325.68220
Krokhin, Andrei; Jeavons, Peter; Jonsson, Peter
24
2003
An algebraic approach to multi-sorted constraints. Zbl 1273.68337
Bulatov, Andrei A.; Jeavons, Peter
14
2003
Quantified constraints: Algorithms and complexity. Zbl 1116.03314
Börner, Ferdinand; Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei
10
2003
Learnability of quantified formulas. Zbl 1060.68049
Dalmau, Víctor; Jeavons, Peter
8
2003
Soft constraints: complexity and multimorphisms. Zbl 1273.68342
Cohen, David A.; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei
2
2003
New tractable classes from old. Zbl 1057.68113
Cohen, David; Jeavons, Peter; Gault, Richard
1
2003
Finite semigroups imposing tractable constraints. Zbl 1032.20037
Bulatov, Andrei; Jeavons, Peter; Volkov, Mikhail
5
2002
The complexity of maximal constraint languages. Zbl 1323.68294
Bulatov, Andrei; Krokhin, Andrei; Jeavons, Peter
13
2001
Constraint satisfaction problems and finite algebras. Zbl 0973.68181
Bulatov, Andrei A.; Krokhin, Andrei A.; Jeavons, Peter
30
2000
Building tractable disjunctive constraints. Zbl 1320.68169
Cohen, David; Jeavons, Peter; Jonsson, Peter; Koubarakis, Manolis
18
2000
New tractable classes from old. Zbl 1044.68747
Cohen, David; Jeavons, Peter; Gault, Richard
1
2000
How to determine the expressive power of constraints. Zbl 0951.68190
Jeavons, Peter; Cohen, David; Gyssens, Marc
6
1999
On the algebraic structure of combinatorial problems. Zbl 0915.68074
Jeavons, Peter
87
1998
Constraints, consistency and closure. Zbl 0909.68076
Jeavons, Peter; Cohen, David; Cooper, Martin C.
59
1998
Constraints and universal algebra. Zbl 0930.68143
Jeavons, Peter; Cohen, David; Pearson, Justin
12
1998
Closure properties of constraints. Zbl 0890.68064
Jeavons, Peter; Cohen, David; Gyssens, Marc
121
1997
When constraints are easy to satisfy. Zbl 0874.68086
Jeavons, P.; Cohen, D.; Cooper, M.
1
1997
Derivation of constraints and database relations. Zbl 0895.68032
Cohen, David; Gyssens, Marc; Jeavons, Peter
1
1996
Tractable constraints on ordered domains. Zbl 1013.68503
Jeavons, Peter G.; Cooper, Martin C.
39
1995
Decomposing constraint satisfaction problems using database techniques. Zbl 0803.68090
Gyssens, Marc; Jeavons, Peter G.; Cohen, David A.
30
1994
Characterising tractable constraints. Zbl 0803.68053
Cooper, Martin C.; Cohen, David A.; Jeavons, Peter G.
24
1994
Counting representable sets on simple graphs. Zbl 0792.05054
Jeavons, Peter G.
1
1993
all top 5

Cited by 503 Authors

28 Živný, Stanislav
24 Jeavons, Peter G.
24 Jonsson, Peter A.
21 Bodirsky, Manuel
21 Cooper, Martin C.
20 Krokhin, Andrei A.
18 Bulatov, Andrei A.
18 Cohen, David A.
17 Martin, Barnaby D.
16 Chen, Hubie
13 Dalmau, Víctor
12 Scarcello, Francesco
11 Barto, Libor
10 Gottlob, Georg
10 Hell, Pavol
10 Kozik, Marcin
10 Lagerkvist, Victor
10 Pinsker, Michael
9 Greco, Gianluigi
8 Creignou, Nadia
8 Larose, Benoit
7 Thapper, Johan
7 Valeriote, Matthew A.
6 Bova, Simone
6 Hermann, Miki
6 Mottet, Antoine
6 Nordh, Gustav
6 Rafiey, Arash
6 Szeider, Stefan
5 Gutin, Gregory Z.
5 Kolaitis, Phokion G.
5 Kolmogorov, Vladimir
5 Madelaine, Florent R.
5 Nešetřil, Jaroslav
5 Niven, Todd
5 Zhuk, Dmitriy N.
4 Behrisch, Mike
4 Carvalho, Catarina A.
4 Feder, Tomás
4 Ganian, Robert
4 Garcia de la Banda, Maria
4 Grohe, Martin
4 Guruswami, Venkatesan
4 Jackson, Marcel G.
4 Kirousis, Lefteris Miltiades
4 Leone, Nicola
4 Li, Sanjiang
4 Mears, Christopher
4 Mengel, Stefan
4 Pongrácz, András
4 Schekotihin, Konstantin
4 Schnoor, Henning
4 Selezneva, Svetlana Nikolaevna
4 Vollmer, Heribert
4 Willard, Ross
4 Yeo, Anders
3 Bauland, Michael
3 Bulín, Jakub
3 Carbonnel, Clément
3 Dodaro, Carmine
3 Durand, Arnaud
3 Egri, László
3 El Mouelhi, Achref
3 Escamocher, Guillaume
3 Fioravanti, Stefano
3 Friedrich, Gerhard E.
3 Fulla, Peter
3 Goldberg, Leslie Ann
3 Hower, Walter
3 Kára, Jan
3 Kazda, Alexandr
3 Liu, Weiming
3 Livieratos, John
3 Mamino, Marcello
3 Maróti, Miklós
3 Marx, Dániel
3 Métivier, Yves
3 Nightingale, Peter W.
3 Olšák, Miroslav
3 Opršal, Jakub
3 Ordyniak, Sebastian
3 Pan, Linqiang
3 Rautenbach, Dieter
3 Ricca, Francesco
3 Robson, John Michael
3 Salzer, Gernot
3 Schäfer, Philipp Matthias
3 Siggers, Mark H.
3 Terrioux, Cyril
3 Wallace, Mark G.
3 Wires, Alexander
3 Wrona, Michał
3 Zádori, László
3 Zanuttini, Bruno
3 Zemmari, Akka
3 Zhang, Xingyi
2 Atserias, Albert
2 Bergman, Clifford
2 Bharathi, Arpitha P.
2 Börner, Ferdinand
...and 403 more Authors
all top 5

Cited in 80 Serials

42 Artificial Intelligence
32 Theoretical Computer Science
28 Journal of Computer and System Sciences
23 Constraints
18 Algebra Universalis
18 SIAM Journal on Computing
15 Discrete Applied Mathematics
14 Theory of Computing Systems
12 Information and Computation
11 International Journal of Algebra and Computation
10 European Journal of Combinatorics
9 Annals of Mathematics and Artificial Intelligence
7 Logical Methods in Computer Science
6 Information Processing Letters
6 Information Sciences
6 SIAM Journal on Discrete Mathematics
6 Theory and Practice of Logic Programming
5 Discrete Mathematics
5 ACM Transactions on Computational Logic
4 Transactions of the American Mathematical Society
3 Computers & Mathematics with Applications
3 Journal of Combinatorial Theory. Series B
3 Order
3 Algorithmica
3 Mathematical Programming. Series A. Series B
3 The Journal of Artificial Intelligence Research (JAIR)
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 Neural Computation
2 Discrete Mathematics and Applications
2 European Journal of Operational Research
2 Distributed Computing
2 Journal of Combinatorial Optimization
2 Journal of the ACM
2 Journal of Multiple-Valued Logic and Soft Computing
2 Journal of Discrete Algorithms
2 Discrete Optimization
2 Computer Science Review
1 Israel Journal of Mathematics
1 Journal of Mathematical Analysis and Applications
1 Advances in Mathematics
1 Bulletin of the London Mathematical Society
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 Journal of Mathematical Economics
1 The Journal of Symbolic Logic
1 Mathematica Slovaca
1 Proceedings of the American Mathematical Society
1 Semigroup Forum
1 Studia Logica
1 Moscow University Computational Mathematics and Cybernetics
1 Mathematical Social Sciences
1 Operations Research Letters
1 Acta Mathematicae Applicatae Sinica. English Series
1 Computers & Operations Research
1 Mathematical and Computer Modelling
1 Forum Mathematicum
1 Machine Learning
1 International Journal of Foundations of Computer Science
1 Automation and Remote Control
1 Pattern Recognition
1 Proceedings of the National Academy of Sciences of the United States of America
1 SIAM Review
1 Cybernetics and Systems Analysis
1 Computational Complexity
1 Journal of Computer and Systems Sciences International
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 The Electronic Journal of Combinatorics
1 The Bulletin of Symbolic Logic
1 Nonlinear Dynamics
1 Journal of Scheduling
1 Journal of Graph Algorithms and Applications
1 Journal of Mathematical Logic
1 RAIRO. Operations Research
1 Journal of Machine Learning Research (JMLR)
1 Journal of Control Theory and Applications
1 Chebyshevskiĭ Sbornik
1 Optimization Letters
1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1 Bulletin of the Hellenic Mathematical Society

Citations by Year