| 2014 | Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract). | Elsa Carvalho, Jorge Cruz, Pedro Barahona |
| 2014 | On Backdoors to Tractable Constraint Languages. | Clment Carbonnel, Martin C. Cooper, Emmanuel Hebrard |
| 2014 | On the Erdős Discrepancy Problem. | Ronan Le Bras, Carla P. Gomes, Bart Selman |
| 2014 | Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. | Miquel Bofill, Miquel Palah, Josep Suy, Mateu Villaret |
| 2014 | Scheduling B2B Meetings. | Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palah, Josep Suy, Mateu Villaret |
| 2014 | Reformulation Based MaxSAT Robustness - (Extended Abstract). | Miquel Bofill, Ddac Busquets, Mateu Villaret |
| 2014 | Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector. | Loc Blet, Samba Ndojh Ndiaye, Christine Solnon |
| 2014 | The Balance Constraint Family. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, milie Picard-Cantin, Claude-Guy Quimper, Toby Walsh |
| 2014 | The Propagation Depth of Local Consistency. | Christoph Berkholz |
| 2014 | Optimization Bounds from Binary Decision Diagrams - (Extended Abstract). | David Bergman, Andr A. Cir, Willem Jan van Hoeve, John N. Hooker |
| 2014 | Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson |
| 2014 | Proactive Workload Dispatching on the EURORA Supercomputer. | Andrea Bartolini, Andrea Borghesi, Thomas Bridi, Michele Lombardi, Michela Milano |
| 2014 | Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem. | Gilles Audemard, Christophe Lecoutre, Mouny Samy Modeliar, Gilles Goncalves, Daniel Cosmin Porumbel |
| 2014 | Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. | Roberto Amadini, Peter J. Stuckey |
| 2014 | Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. | Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb |
| 2014 | Efficient Application of Max-SAT Resolution on Inconsistent Subsets. | Andr Abram, Djamal Habet |
| 2014 | Encoding Linear Constraints into SAT. | Ignasi Abo, Peter J. Stuckey |
| 2013 | The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach. | Stphane Zampelli, Yannis Vergados, Rowan Van Schaeren, Wout Dullaert, Birger Raa |
| 2013 | Optimizing STR Algorithms with Tuple Compression. | Wei Xia, Roland H. C. Yap |
| 2013 | Asynchronous Forward Bounding Revisited. | Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere |
| 2013 | Constrained Wine Blending. | Philippe Vismara, Remi Coletta, Gilles Trombettoni |
| 2013 | Automatic Generation and Delivery of Multiple-Choice Math Quizzes. | Ana Paula Toms, Jos Paulo Leal |
| 2013 | Lifting Structural Tractability to CSP with Global Constraints. | Evgenij Thorstensen |
| 2013 | Those Who Cannot Remember the Past Are Condemned to Repeat It. | Peter J. Stuckey |
| 2013 | Residential Demand Response under Uncertainty. | Paul Scott, Sylvie Thibaux, Menkes van den Briel, Pascal Van Hentenryck |