| 2011 | Half Reification and Flattening. | Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey |
| 2011 | Revisiting the tree Constraint. | Jean-Guillaume Fages, Xavier Lorca |
| 2011 | Synthesis of Search Algorithms from High-Level CP Models. | Samir A. Mohamed Elsayed, Laurent Michel |
| 2011 | Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. | Jessica Davies, Fahiem Bacchus |
| 2011 | On Minimal Weighted Clones. | Pid Creed, Stanislav Zivn |
| 2011 | Tractable Triangles. | Martin C. Cooper, Stanislav Zivn |
| 2011 | Hierarchically Nested Convex VCSP. | Martin C. Cooper, Stanislav Zivn |
| 2011 | A Framework for Decision-Based Consistencies. | Jean-Franois Condotta, Christophe Lecoutre |
| 2011 | On Guaranteeing Polynomially Bounded Search Tree Size. | David A. Cohen, Martin C. Cooper, Martin James Green, Dniel Marx |
| 2011 | Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. | Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien |
| 2011 | A Constraint Based Approach to Cyclic RCPSP. | Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano |
| 2011 | A Constraint Seeker: Finding and Ranking Global Constraints from Examples. | Nicolas Beldiceanu, Helmut Simonis |
| 2011 | Neuron Constraints to Model Complex Real-World Problems. | Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini |
| 2010 | Exponential Propagation for Set Variables. | Justin Yip, Pascal Van Hentenryck |
| 2010 | Testing Expressibility Is Hard. | Ross Willard |
| 2010 | Constraints, Graphs, Algebra, Logic, and Complexity. | Moshe Y. Vardi |
| 2010 | Constraint-Directed Search in Computational Finance and Economics. | Edward P. K. Tsang |
| 2010 | A Box-Consistency Contractor Based on Extremal Functions. | Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier |
| 2010 | A Safe and Flexible CP-Based Approach for Velocity Tuning Problems. | Michal Soulignac, Michel Rueher, Patrick Taillibert |
| 2010 | A Generic Visualization Platform for CP. | Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson |
| 2010 | A New | Andreas Schutt, Armin Wolf |
| 2010 | Value-Ordering Heuristics: Search Performance vs. Solution Diversity. | Yevgeny Schreiber |
| 2010 | Heuristics for Planning with SAT. | Jussi Rintanen |
| 2010 | Local Consistency and SAT-Solvers. | Justyna Petke, Peter Jeavons |
| 2010 | A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. | Alessandro Dal Pal, Mathias Mhl, Sebastian Will |