| 2012 | Computational Protein Design as a Cost Function Network Optimization Problem. | David Allouche, Seydou Traor, Isabelle Andr, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex |
| 2012 | Conflict Directed Lazy Decomposition. | Ignasi Abo, Peter J. Stuckey |
| 2011 | Checking and Filtering Global Set Constraints. | Justin Yip, Pascal Van Hentenryck |
| 2011 | Pruning Rules for Constrained Optimisation for Conditional Preferences. | Nic Wilson, Walid Trabelsi |
| 2011 | Constraint Programming for Controller Synthesis. | Grard Verfaillie, Cdric Pralet |
| 2011 | A Hybrid Approach for Solving Real-World Nurse Rostering Problems. | Martin Stlevik, Tomas Eric Nordlander, Atle Riise, Helle Fryseth |
| 2011 | Optimal Carpet Cutting. | Andreas Schutt, Peter J. Stuckey, Andrew R. Verden |
| 2011 | Search Combinators. | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2011 | An Efficient Light Solver for Querying the Semantic Web. | Vianney le Clment de Saint-Marcq, Yves Deville, Christine Solnon |
| 2011 | On Mini-Buckets and the Min-fill Elimination Ordering. | Emma Rollon, Javier Larrosa |
| 2011 | Solving Problems with CP: Four Common Pitfalls to Avoid. | Jean-Charles Rgin |
| 2011 | The Design of Cryptographic S-Boxes Using CSPs. | Venkatesh Ramamoorthy, Marius-Calin Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
| 2011 | Beyond QCSP for Solving Control Problems. | Cdric Pralet, Grard Verfaillie |
| 2011 | A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. | Thierry Petit, Jean-Charles Rgin, Nicolas Beldiceanu |
| 2011 | Operations Research and Constraint Programming at Google. | Laurent Perron |
| 2011 | Octagonal Domains for Continuous Constraints. | Marie Pelleau, Charlotte Truchet, Frdric Benhamou |
| 2011 | Constraint Propagation for Efficient Inference in Markov Logic. | Tivadar Papai, Parag Singla, Henry A. Kautz |
| 2011 | A More Efficient BDD-Based QBF Solver. | Oswaldo Olivo, E. Allen Emerson |
| 2011 | Pseudo-Tree-Based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds. | Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo, Boi Faltings |
| 2011 | Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher |
| 2011 | CP Models for Maximum Common Subgraph Problems. | Samba Ndojh Ndiaye, Christine Solnon |
| 2011 | Orchestrating Satisfiability Engines. | Leonardo Mendona de Moura |
| 2011 | Boolean Equi-propagation for Optimized SAT Encoding. | Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2011 | Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. | Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2011 | Proving Symmetries by Model Transformation. | Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace |