| 2019 | CP | Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. | Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons |
| 2015 | AAAI | Binarisation via Dualisation for Valued Constraints. | David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivn |
| 2015 | IJCAI | Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. | David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivn |
| 2013 | CP | Tractable Combinations of Global Constraints. | David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivn |
| 2011 | MFCS | An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. | David A. Cohen, Pid Creed, Peter G. Jeavons, Stanislav Zivn |
| 2009 | CP | The Complexity of Valued Constraint Models. | Stanislav Zivn, Peter G. Jeavons |
| 2009 | MFCS | The Expressive Power of Binary Submodular Functions. | Stanislav Zivn, David A. Cohen, Peter G. Jeavons |
| 2008 | CP | Perfect Constraints Are Tractable. | Andrs Z. Salamon, Peter G. Jeavons |
| 2008 | ECAI | Hybrid tractable CSPs which generalize tree structure. | Martin C. Cooper, Peter G. Jeavons, Andrs Z. Salamon |