| 2013 | Adaptive Parameterized Consistency. | Amine Balafrej, Christian Bessiere, Remi Coletta, El-Houssine Bouyakhf |
| 2013 | MinSAT versus MaxSAT for Optimization Problems. | Josep Argelich, Chu Min Li, Felip Many, Zhu Zhu |
| 2013 | Improving WPM2 for (Weighted) Partial MaxSAT. | Carlos Anstegui, Maria Luisa Bonet, Joel Gabs, Jordi Levy |
| 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 | To Encode or to Propagate? The Best Choice for Each Constraint in SAT. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Peter J. Stuckey |
| 2013 | A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2012 | A New Encoding from MinSAT into MaxSAT. | Zhu Zhu, Chu Min Li, Felip Many, Josep Argelich |
| 2012 | A Hybrid Paradigm for Adaptive Parallel Search. | Xi Yun, Susan L. Epstein |
| 2012 | Syntactically Characterizing Local-to-Global Consistency in ORD-Horn. | Michal Wrona |
| 2012 | Revisiting Neighborhood Inverse Consistency on Binary CSPs. | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
| 2012 | Understanding, Improving and Parallelizing MUS Finding Using Model Rotation. | Siert Wieringa |
| 2012 | Breaking Variable Symmetry in Almost Injective Problems. | Philippe Vismara, Remi Coletta |
| 2012 | Max-Sur-CSP on Two Elements. | Hannes Uppman |
| 2012 | Scheduling Scientific Experiments on the Rosetta/Philae Mission. | Gilles Simonin, Christian Artigues, Emmanuel Hebrard, Pierre Lopez |
| 2012 | An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality. | Mohamed Siala, Emmanuel Hebrard, Marie-Jos Huguet |
| 2012 | The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach. | Thiago Serra, Gilberto Nishioka, Fernando J. M. Marcellino |
| 2012 | Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem. | Pierre Schaus, Jean-Charles Rgin, Rowan Van Schaeren, Wout Dullaert, Birger Raa |
| 2012 | A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling. | Domenico Salvagnin, Toby Walsh |
| 2012 | Improved Bounded Max-Sum for Distributed Constraint Optimization. | Emma Rollon, Javier Larrosa |
| 2012 | Time-Dependent Simple Temporal Networks. | Cdric Pralet, Grard Verfaillie |
| 2012 | Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. | Olivier Ponsini, Claude Michel, Michel Rueher |
| 2012 | Focus : A Constraint for Concentrating High Costs. | Thierry Petit |
| 2012 | Where Are the Interesting Problems? | Barry O'Sullivan |
| 2012 | Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry. | Santiago Ontan, Pedro Meseguer |
| 2012 | Interactive Algorithm for Multi-Objective Constraint Optimization. | Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |