Peter G. Jeavons

27 papers A* 2A 5B 2Journal 15Unranked 2

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	Galois Connections for Patterns: An Algebra of Labelled Graphs. GKR David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2019	J	`jnl`	Binary constraint satisfaction problems defined by excluded topological minors. Inf. Comput. David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2019	A	`conf`	Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. CP Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons
2019	J	`jnl`	Representing fitness landscapes by valued constraints to understand the complexity of local search. CoRR Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons
2017	J	`jnl`	Binarisation for Valued Constraint Satisfaction Problems. SIAM J. Discret. Math. David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný
2017	J	`jnl`	The power of propagation: when GAC is enough. Constraints An Int. J. David A. Cohen, Peter G. Jeavons
2016	J	`jnl`	Binarisation for Valued Constraint Satisfaction Problems. CoRR David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný
2016	J	`jnl`	Binary Constraint Satisfaction Problems Defined by Excluded Topological Minors. CoRR David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2016	—	`conf`	Minimal Weighted Clones with Boolean Support. ISMVL Peter G. Jeavons, Andrius Vaicenavicius, Stanislav Zivný
2015	A*	`conf`	Binarisation via Dualisation for Valued Constraints. AAAI David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2015	A*	`conf`	Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. IJCAI David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2014	—	`ch.`	Tractable Valued Constraints. Tractability Peter G. Jeavons, Stanislav Zivný
2013	J	`jnl`	An Algebraic Theory of Complexity for Discrete Optimization. SIAM J. Comput. David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
2013	J	`jnl`	Simple Neural-Like P Systems for Maximal Independent Set Selection. Neural Comput. Lei Xu, Peter G. Jeavons
2013	A	`conf`	Tractable Combinations of Global Constraints. CP David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivný
2013	J	`jnl`	Tractable Combinations of Global Constraints. CoRR David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivný
2012	J	`jnl`	An Algebraic Theory of Complexity for Discrete Optimisation CoRR David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
2011	B	`conf`	An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. MFCS David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
2010	J	`jnl`	Classes of submodular constraints expressible by graph cuts. Constraints An Int. J. Stanislav Zivný, Peter G. Jeavons
2010	J	`jnl`	Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. Artif. Intell. Martin C. Cooper, Peter G. Jeavons, András Z. Salamon
2009	A	`conf`	The Complexity of Valued Constraint Models. CP Stanislav Zivný, Peter G. Jeavons
2009	B	`conf`	The Expressive Power of Binary Submodular Functions. MFCS Stanislav Zivný, David A. Cohen, Peter G. Jeavons
2009	J	`jnl`	The expressive power of binary submodular functions. Discret. Appl. Math. Stanislav Zivný, David A. Cohen, Peter G. Jeavons
2008	A	`conf`	Hybrid tractable CSPs which generalize tree structure. ECAI Martin C. Cooper, Peter G. Jeavons, András Z. Salamon
2008	A	`conf`	Perfect Constraints Are Tractable. CP András Z. Salamon, Peter G. Jeavons
2008	J	`jnl`	The Expressive Power of Binary Submodular Functions CoRR Stanislav Zivný, David A. Cohen, Peter G. Jeavons
2008	J	`jnl`	The expressive power of valued constraints: Hierarchies and collapses. Theor. Comput. Sci. David A. Cohen, Peter G. Jeavons, Stanislav Zivný