| 2013 | Solving String Constraints: The Case for Constraint Programming. | Jun He, Pierre Flener, Justin Pearson, Weiming Zhang |
| 2013 | Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. | Djamal Habet, Donia Toumi |
| 2013 | Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search. | Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Man Lei, Terrence W. K. Mak, Pedro Meseguer |
| 2013 | A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint. | Stefano Gualandi, Michele Lombardi |
| 2013 | Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems. | Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann |
| 2013 | Dead-End Elimination for Weighted CSP. | Simon de Givry, Steven D. Prestwich, Barry O'Sullivan |
| 2013 | Primal and Dual Encoding from Applications into Quantified Boolean Formulas. | Allen Van Gelder |
| 2013 | Constraint-Based Approaches for Balancing Bike Sharing Systems. | Luca Di Gaspero, Andrea Rendl, Tommaso Urli |
| 2013 | Explaining Propagators for Edge-Valued Decision Diagrams. | Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck |
| 2013 | An Improved Search Algorithm for Min-Perturbation. | Alex Fukunaga |
| 2013 | Modelling Destructive Assignments. | Kathryn Francis, Jorge A. Navas, Peter J. Stuckey |
| 2013 | Model Combinators for Hybrid Optimization. | Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck |
| 2013 | Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem. | Jean-Guillaume Fages, Tanguy Lapgue |
| 2013 | Constraint-Based Program Reasoning with Heaps and Separation. | Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh |
| 2013 | Solving Weighted CSPs by Successive Relaxations. | Erin Delisle, Fahiem Bacchus |
| 2013 | Postponing Optimization to Speed Up MAXSAT Solving. | Jessica Davies, Fahiem Bacchus |
| 2013 | Tractable Combinations of Global Constraints. | David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivn |
| 2013 | Dominance Driven Search. | Geoffrey Chu, Peter J. Stuckey |
| 2013 | A Scalable Approximate Model Counter. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2013 | Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres. | Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis |
| 2013 | On the Reduction of the CSP Dichotomy Conjecture to Digraphs. | Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven |
| 2013 | Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search. | Quoc Trung Bui, Quang-Dung Pham, Yves Deville |
| 2013 | Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems. | Simon Brockbank, Gilles Pesant, Louis-Martin Rousseau |
| 2013 | Global Inverse Consistency for Interactive Constraint Satisfaction. | Christian Bessiere, Hlne Fargier, Christophe Lecoutre |
| 2013 | Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. | Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis |