| 2010 | A Box-Consistency Contractor Based on Extremal Functions. Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier |
| 2010 | A Complete Multi-valued SAT Solver. Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann |
| 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 | A New Hybrid Tractable Class of Soft Constraint Problems. Martin C. Cooper, Stanislav Zivný |
| 2010 | A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. Alessandro Dal Palù, Mathias Möhl, Sebastian Will |
| 2010 | A Safe and Flexible CP-Based Approach for Velocity Tuning Problems. Michaël Soulignac, Michel Rueher, Patrick Taillibert |
| 2010 | A Systematic Approach to MDD-Based Constraint Programming. Samid Hoda, Willem Jan van Hoeve, John N. Hooker |
| 2010 | An Empirical Study of Optimization for Maximizing Diffusion in Networks. Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
| 2010 | An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management. Roman van der Krogt, Jacob Feldman, James Little, David Stynes |
| 2010 | An Integrated Modelling, Debugging, and Visualisation Environment for G12. Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney |
| 2010 | Applying Constraint Programming to Identification and Assignment of Service Professionals. Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors, Donna L. Gresh, Julio Ortega, Michael J. Mcinnis |
| 2010 | Checking-Up on Branch-and-Check. J. Christopher Beck |
| 2010 | Computing the Density of States of Boolean Formulas. Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2010 | Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution. Michele Lombardi, Michela Milano |
| 2010 | Constraint Programming for Mining n-ary Patterns. Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux |
| 2010 | Constraint-Directed Search in Computational Finance and Economics. Edward P. K. Tsang |
| 2010 | Constraints, Graphs, Algebra, Logic, and Complexity. Moshe Y. Vardi |
| 2010 | Context-Sensitive Call Control Using Constraints and Rules. David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2010 | Contingency Plans for Air Traffic Management. Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson |
| 2010 | Database Constraints and Homomorphism Dualities. Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
| 2010 | Decomposition of the NValue Constraint. Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2010 | Diversification and Intensification in Parallel SAT Solving. Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
| 2010 | Domain Consistency with Forbidden Values. Yves Deville, Pascal Van Hentenryck |
| 2010 | Ensemble Classification for Constraint Solver Configuration. Lars Kotthoff, Ian Miguel, Peter Nightingale |
| 2010 | Exact Cover via Satisfiability: An Empirical Study. Tommi A. Junttila, Petteri Kaski |
| 2010 | Exponential Propagation for Set Variables. Justin Yip, Pascal Van Hentenryck |
| 2010 | Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2010 | Global Constraints on Feature Models. Ahmet Serkan Karatas, Halit Oguztüzün, Ali H. Dogru |
| 2010 | Heuristics for Planning with SAT. Jussi Rintanen |
| 2010 | Improving the Floating Point Addition and Subtraction Constraints. Bruno Marre, Claude Michel |
| 2010 | Improving the Performance of maxRPC. Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh |
| 2010 | Including Ordinary Differential Equations Based Constraints in the Standard CP Framework. Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe |
| 2010 | Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2010 | Local Consistency and SAT-Solvers. Justyna Petke, Peter Jeavons |
| 2010 | Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity. Ignacio Araya, Gilles Trombettoni, Bertrand Neveu |
| 2010 | On Testing Constraint Programs. Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
| 2010 | On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. George Katsirelos, Nina Narodytska, Toby Walsh |
| 2010 | On the Containment of Forbidden Patterns Problems. Florent R. Madelaine |
| 2010 | Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings David Cohen |
| 2010 | Propagating the Bin Packing Constraint Using Linear Programming. Hadrien Cambazard, Barry O'Sullivan |
| 2010 | SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering. Robert Nieuwenhuis |
| 2010 | Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows. Russell Bent, Pascal Van Hentenryck |
| 2010 | Structural Tractability of Enumerating CSP Solutions. Gianluigi Greco, Francesco Scarcello |
| 2010 | Sweeping with Continuous Domains. Gilles Chabert, Nicolas Beldiceanu |
| 2010 | Testing Continuous Double Auctions with a Constraint-Based Oracle. Roberto Castañeda Lozano, Christian Schulte, Lars Wahlberg |
| 2010 | Testing Expressibility Is Hard. Ross Willard |
| 2010 | The Lattice Structure of Sets of Surjective Hyper-Operations. Barnaby Martin |
| 2010 | Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. David Allouche, Simon de Givry, Thomas Schiex |
| 2010 | Using Learnt Clauses in maxsat. Jessica Davies, Jeremy Cho, Fahiem Bacchus |
| 2010 | Value-Ordering Heuristics: Search Performance vs. Solution Diversity. Yevgeny Schreiber |