| 2012 | A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. | Faten Nabli, Franois Fages, Thierry Martinez, Sylvain Soliman |
| 2012 | Constraint Programming for Path Planning with Uncertainty - Solving the Optimal Search Path Problem. | Michael Morin, Anika-Pascale Papillon, Irne Abi-Zeid, Franois Laviolette, Claude-Guy Quimper |
| 2012 | Towards Solver-Independent Propagators. | Jean-Nol Monette, Pierre Flener, Justin Pearson |
| 2012 | Constraint Satisfaction over Bit-Vectors. | Laurent D. Michel, Pascal Van Hentenryck |
| 2012 | Constraint Programming and a Usability Quest. | Laurent D. Michel |
| 2012 | Comparing Solution Methods for the Machine Reassignment Problem. | Deepak Mehta, Barry O'Sullivan, Helmut Simonis |
| 2012 | Parallel SAT Solver Selection and Scheduling. | Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
| 2012 | An Optimal Filtering Algorithm for Table Constraints. | Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville |
| 2012 | Containment, Equivalence and Coreness from CSP to QCSP and Beyond. | Florent R. Madelaine, Barnaby Martin |
| 2012 | Constraint-Based Register Allocation and Instruction Scheduling. | Roberto Castaeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte |
| 2012 | Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning. | Weiming Liu, Sanjiang Li |
| 2012 | A Scalable Sweep Algorithm for the cumulative Constraint. | Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson |
| 2012 | Increasing Symmetry Breaking by Preserving Target Symmetries. | Jimmy Ho-Man Lee, Jingying Li |
| 2012 | WCSP Integration of Soft Neighborhood Substitutability. | Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani |
| 2012 | Propagating Soft Table Constraints. | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sbastien Tabary |
| 2012 | Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains. | Jrme Lang, Jrme Mengin, Lirong Xia |
| 2012 | Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle. | Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak |
| 2012 | Classifying and Propagating Parity Constraints. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | Eigenvector Centrality in Industrial SAT Instances. | George Katsirelos, Laurent Simon |
| 2012 | The SeqBin Constraint Revisited. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2012 | Relating Proof Complexity Measures and Practical Hardness of SAT. | Matti Jrvisalo, Arie Matsliah, Jakob Nordstrm, Stanislav Zivn |
| 2012 | Properties of Energy-Price Forecasts for Scheduling. | Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis |
| 2012 | Maximising the Net Present Value of Large Resource-Constrained Projects. | Hanyu Gu, Peter J. Stuckey, Mark G. Wallace |
| 2012 | Reasoning over Biological Networks Using Maximum Satisfiability. | Joo Guerra, Ins Lynce |
| 2012 | Resource Constrained Shortest Paths with a Super Additive Objective Function. | Stefano Gualandi, Federico Malucelli |