| 2010 | SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering. | Robert Nieuwenhuis |
| 2010 | Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. | Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2010 | The Lattice Structure of Sets of Surjective Hyper-Operations. | Barnaby Martin |
| 2010 | Improving the Floating Point Addition and Subtraction Constraints. | Bruno Marre, Claude Michel |
| 2010 | On the Containment of Forbidden Patterns Problems. | Florent R. Madelaine |
| 2010 | Testing Continuous Double Auctions with a Constraint-Based Oracle. | Roberto Castaeda Lozano, Christian Schulte, Lars Wahlberg |
| 2010 | Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution. | Michele Lombardi, Michela Milano |
| 2010 | Context-Sensitive Call Control Using Constraints and Rules. | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2010 | On Testing Constraint Programs. | Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
| 2010 | An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management. | Roman van der Krogt, Jacob Feldman, James Little, David Stynes |
| 2010 | Ensemble Classification for Constraint Solver Configuration. | Lars Kotthoff, Ian Miguel, Peter Nightingale |
| 2010 | Constraint Programming for Mining n-ary Patterns. | Mehdi Khiari, Patrice Boizumault, Bruno Crmilleux |
| 2010 | On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2010 | Global Constraints on Feature Models. | Ahmet Serkan Karatas, Halit Oguztzn, Ali H. Dogru |
| 2010 | Exact Cover via Satisfiability: An Empirical Study. | Tommi A. Junttila, Petteri Kaski |
| 2010 | A Complete Multi-valued SAT Solver. | Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann |
| 2010 | A Systematic Approach to MDD-Based Constraint Programming. | Samid Hoda, Willem Jan van Hoeve, John N. Hooker |
| 2010 | Diversification and Intensification in Parallel SAT Solving. | Long Guo, Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2010 | Structural Tractability of Enumerating CSP Solutions. | Gianluigi Greco, Francesco Scarcello |
| 2010 | Including Ordinary Differential Equations Based Constraints in the Standard CP Framework. | Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe |
| 2010 | Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2010 | Computing the Density of States of Boolean Formulas. | Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2010 | Domain Consistency with Forbidden Values. | Yves Deville, Pascal Van Hentenryck |
| 2010 | Using Learnt Clauses in maxsat. | Jessica Davies, Jeremy Cho, Fahiem Bacchus |
| 2010 | A New Hybrid Tractable Class of Soft Constraint Problems. | Martin C. Cooper, Stanislav Zivn |