| 2012 | Finding a Nash Equilibrium by Asynchronous Backtracking. | Alon Grubshtein, Amnon Meisels |
| 2012 | Adaptive Bisection of Numerical CSPs. | Laurent Granvilliers |
| 2012 | A Pseudo-Boolean Set Covering Machine. | Pascal Germain, Sbastien Gigure, Jean-Francis Roy, Brice Zirakiza, Franois Laviolette, Claude-Guy Quimper |
| 2012 | Contributions to the Theory of Practical Quantified Boolean Formula Solving. | Allen Van Gelder |
| 2012 | Optimisation Modelling for Software Developers. | Kathryn Francis, Sebastian Brand, Peter J. Stuckey |
| 2012 | Exploring Chemistry Using SMT. | Rolf Fagerberg, Christoph Flamm, Daniel Merkle, Philipp Peters |
| 2012 | The Semigroups of Order 10. | Andreas Distler, Christopher Jefferson, Tom W. Kelsey, Lars Kotthoff |
| 2012 | A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. | Martin C. Cooper, Guillaume Escamocher, Stanislav Zivn |
| 2012 | Solving Temporal Problems Using SMT: Strong Controllability. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2012 | Inter-instance Nogood Learning in Constraint Programming. | Geoffrey Chu, Peter J. Stuckey |
| 2012 | A Generic Method for Identifying and Exploiting Dominance Relations. | Geoffrey Chu, Peter J. Stuckey |
| 2012 | Space-Time Tradeoffs for the Regular Constraint. | Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap |
| 2012 | Weibull-Based Benchmarks for Bin Packing. | Ignacio Castieiras, Milan De Cauwer, Barry O'Sullivan |
| 2012 | A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots. | Stphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann |
| 2012 | A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. | Federico Campeotto, Alessandro Dal Pal, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2012 | A Constraint Programming Approach for the Traveling Purchaser Problem. | Hadrien Cambazard, Bernard Penz |
| 2012 | The Weighted Average Constraint. | Alessio Bonfietti, Michele Lombardi |
| 2012 | Including Soft Global Constraints in DCOPs. | Christian Bessiere, Patricia Gutierrez, Pedro Meseguer |
| 2012 | On Computing Minimal Equivalent Subformulas. | Anton Belov, Mikols Janota, Ins Lynce, Joo Marques-Silva |
| 2012 | A Model Seeker: Extracting Global Constraint Models from Positive Examples. | Nicolas Beldiceanu, Helmut Simonis |
| 2012 | Boosting Local Consistency Algorithms over Floating-Point Numbers. | Mohammed Sad Belaid, Claude Michel, Michel Rueher |
| 2012 | Refining Restarts Strategies for SAT and UNSAT. | Gilles Audemard, Laurent Simon |
| 2012 | Distributed Tree Decomposition with Privacy. | Vincent Armant, Laurent Simon, Philippe Dague |
| 2012 | Improving SAT-Based Weighted MaxSAT Solvers. | Carlos Anstegui, Maria Luisa Bonet, Joel Gabs, Jordi Levy |
| 2012 | Optimization Challenges in Smart Grid Operations. | Miguel F. Anjos |