| 2013 | A New Propagator for Two-Layer Neural Networks in Empirical Model Learning. Michele Lombardi, Stefano Gualandi |
| 2013 | A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell |
| 2013 | A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson |
| 2013 | A Scalable Approximate Model Counter. Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2013 | A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint. Stefano Gualandi, Michele Lombardi |
| 2013 | Adaptive Parameterized Consistency. Amine Balafrej, Christian Bessiere, Remi Coletta, El-Houssine Bouyakhf |
| 2013 | An Improved Search Algorithm for Min-Perturbation. Alex Fukunaga |
| 2013 | Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. Torsten Schaub |
| 2013 | Asynchronous Forward Bounding Revisited. Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere |
| 2013 | Atom Mapping with Constraint Programming. Martin Mann, Feras Nahar, Heinz Ekker, Rolf Backofen, Peter F. Stadler, Christoph Flamm |
| 2013 | Automated Symmetry Breaking and Model Selection in Conjure. Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale |
| 2013 | Automatic Generation and Delivery of Multiple-Choice Math Quizzes. Ana Paula Tomás, José Paulo Leal |
| 2013 | Bandit-Based Search for Constraint Programming. Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer |
| 2013 | Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. Reuven Naveh, Amit Metodi |
| 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 | Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction. Peter Jonsson, Victor Lagerkvist, Gustav Nordh |
| 2013 | Breaking Symmetry with Different Orderings. Nina Narodytska, Toby Walsh |
| 2013 | Constrained Wine Blending. Philippe Vismara, Remi Coletta, Gilles Trombettoni |
| 2013 | Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems. Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann |
| 2013 | Constraint-Based Approaches for Balancing Bike Sharing Systems. Luca Di Gaspero, Andrea Rendl, Tommaso Urli |
| 2013 | Constraint-Based Program Reasoning with Heaps and Separation. Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh |
| 2013 | Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems. Simon Brockbank, Gilles Pesant, Louis-Martin Rousseau |
| 2013 | Dead-End Elimination for Weighted CSP. Simon de Givry, Steven D. Prestwich, Barry O'Sullivan |
| 2013 | Decide Different! Pascal Van Hentenryck |
| 2013 | Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis |
| 2013 | Dominance Driven Search. Geoffrey Chu, Peter J. Stuckey |
| 2013 | Embarrassingly Parallel Search. Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert |
| 2013 | Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. Djamal Habet, Donia Toumi |
| 2013 | Explaining Propagators for Edge-Valued Decision Diagrams. Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck |
| 2013 | Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem. Jean-Guillaume Fages, Tanguy Lapègue |
| 2013 | Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su |
| 2013 | Global Inverse Consistency for Interactive Constraint Satisfaction. Christian Bessiere, Hélène Fargier, Christophe Lecoutre |
| 2013 | Globalizing Constraint Models. Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
| 2013 | Improving WPM2 for (Weighted) Partial MaxSAT. Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
| 2013 | Laser Cutting Path Planning Using CP. Mikael Z. Lagerkvist, Martin Nordkvist, Magnus Rattfeldt |
| 2013 | Lifting Structural Tractability to CSP with Global Constraints. Evgenij Thorstensen |
| 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 | MinSAT versus MaxSAT for Optimization Problems. Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu |
| 2013 | Model Combinators for Hybrid Optimization. Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck |
| 2013 | Modelling Destructive Assignments. Kathryn Francis, Jorge A. Navas, Peter J. Stuckey |
| 2013 | Multi-Objective Constraint Optimization with Tradeoffs. Radu Marinescu, Abdul Razak, Nic Wilson |
| 2013 | Multi-Objective Large Neighborhood Search. Pierre Schaus, Renaud Hartert |
| 2013 | Multidimensional Bin Packing Revisited. Michael D. Moffitt |
| 2013 | On the Reduction of the CSP Dichotomy Conjecture to Digraphs. Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven |
| 2013 | Optimization for Policy Making: The Cornerstone for an Integrated Approach. Michela Milano |
| 2013 | Optimizing STR Algorithms with Tuple Compression. Wei Xia, Roland H. C. Yap |
| 2013 | Parallel Discrepancy-Based Search. Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper |
| 2013 | Postponing Optimization to Speed Up MAXSAT Solving. Jessica Davies, Fahiem Bacchus |
| 2013 | Primal and Dual Encoding from Applications into Quantified Boolean Formulas. Allen Van Gelder |
| 2013 | Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings Christian Schulte |
| 2013 | Residential Demand Response under Uncertainty. Paul Scott, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck |
| 2013 | Revisiting the Cardinality Reasoning for BinPacking Constraint. François Pelsser, Pierre Schaus, Jean-Charles Régin |
| 2013 | Scheduling Optional Tasks with Explanation. Andreas Schutt, Thibaut Feydy, Peter J. Stuckey |
| 2013 | Solving QBF with Free Variables. William Klieber, Mikolás Janota, João Marques-Silva, Edmund M. Clarke |
| 2013 | Solving String Constraints: The Case for Constraint Programming. Jun He, Pierre Flener, Justin Pearson, Weiming Zhang |
| 2013 | Solving Weighted CSPs by Successive Relaxations. Erin Delisle, Fahiem Bacchus |
| 2013 | Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search. Quoc Trung Bui, Quang-Dung Pham, Yves Deville |
| 2013 | Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks. M. A. Hakim Newton, Duc Nghia Pham, Wee Lum Tan, Marius Portmann, Abdul Sattar |
| 2013 | The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach. Stéphane Zampelli, Yannis Vergados, Rowan Van Schaeren, Wout Dullaert, Birger Raa |
| 2013 | The Objective-CP Optimization System. Pascal Van Hentenryck, Laurent Michel |
| 2013 | Those Who Cannot Remember the Past Are Condemned to Repeat It. Peter J. Stuckey |
| 2013 | Time-Table Extended-Edge-Finding for the Cumulative Constraint. Pierre Ouellet, Claude-Guy Quimper |
| 2013 | To Encode or to Propagate? The Best Choice for Each Constraint in SAT. Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey |
| 2013 | Tractable Combinations of Global Constraints. David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivný |
| 2013 | Value Interchangeability in Scenario Generation. Steven D. Prestwich, Marco Laumanns, Ban Kawas |