| 2013 | Scheduling Optional Tasks with Explanation. | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey |
| 2013 | Multi-Objective Large Neighborhood Search. | Pierre Schaus, Renaud Hartert |
| 2013 | Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. | Torsten Schaub |
| 2013 | Embarrassingly Parallel Search. | Jean-Charles Rgin, Mohamed Rezgui, Arnaud Malapert |
| 2013 | Value Interchangeability in Scenario Generation. | Steven D. Prestwich, Marco Laumanns, Ban Kawas |
| 2013 | Revisiting the Cardinality Reasoning for BinPacking Constraint. | Franois Pelsser, Pierre Schaus, Jean-Charles Rgin |
| 2013 | Time-Table Extended-Edge-Finding for the Cumulative Constraint. | Pierre Ouellet, Claude-Guy Quimper |
| 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 | Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. | Reuven Naveh, Amit Metodi |
| 2013 | Breaking Symmetry with Different Orderings. | Nina Narodytska, Toby Walsh |
| 2013 | A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. | Jean-Nol Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson |
| 2013 | Parallel Discrepancy-Based Search. | Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper |
| 2013 | Multidimensional Bin Packing Revisited. | Michael D. Moffitt |
| 2013 | Optimization for Policy Making: The Cornerstone for an Integrated Approach. | Michela Milano |
| 2013 | Multi-Objective Constraint Optimization with Tradeoffs. | Radu Marinescu, Abdul Razak, Nic Wilson |
| 2013 | Atom Mapping with Constraint Programming. | Martin Mann, Feras Nahar, Heinz Ekker, Rolf Backofen, Peter F. Stadler, Christoph Flamm |
| 2013 | Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. | Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su |
| 2013 | Bandit-Based Search for Constraint Programming. | Manuel Loth, Michle Sebag, Youssef Hamadi, Marc Schoenauer |
| 2013 | A New Propagator for Two-Layer Neural Networks in Empirical Model Learning. | Michele Lombardi, Stefano Gualandi |
| 2013 | Globalizing Constraint Models. | Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
| 2013 | Laser Cutting Path Planning Using CP. | Mikael Z. Lagerkvist, Martin Nordkvist, Magnus Rattfeldt |
| 2013 | Solving QBF with Free Variables. | William Klieber, Mikols Janota, Joo Marques-Silva, Edmund M. Clarke |
| 2013 | Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction. | Peter Jonsson, Victor Lagerkvist, Gustav Nordh |
| 2013 | The Objective-CP Optimization System. | Pascal Van Hentenryck, Laurent Michel |
| 2013 | Decide Different! | Pascal Van Hentenryck |