| 2012 | A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman |
| 2012 | A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots. Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann |
| 2012 | A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný |
| 2012 | A Constraint Programming Approach for the Traveling Purchaser Problem. Hadrien Cambazard, Bernard Penz |
| 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 Generic Method for Identifying and Exploiting Dominance Relations. Geoffrey Chu, Peter J. Stuckey |
| 2012 | A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling. Domenico Salvagnin, Toby Walsh |
| 2012 | A Hybrid Paradigm for Adaptive Parallel Search. Xi Yun, Susan L. Epstein |
| 2012 | A Model Seeker: Extracting Global Constraint Models from Positive Examples. Nicolas Beldiceanu, Helmut Simonis |
| 2012 | A New Encoding from MinSAT into MaxSAT. Zhu Zhu, Chu Min Li, Felip Manyà, Josep Argelich |
| 2012 | A Pseudo-Boolean Set Covering Machine. Pascal Germain, Sébastien Giguère, Jean-Francis Roy, Brice Zirakiza, François Laviolette, Claude-Guy Quimper |
| 2012 | A Scalable Sweep Algorithm for the cumulative Constraint. Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson |
| 2012 | Adaptive Bisection of Numerical CSPs. Laurent Granvilliers |
| 2012 | Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains. Jérôme Lang, Jérôme Mengin, Lirong Xia |
| 2012 | An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality. Mohamed Siala, Emmanuel Hebrard, Marie-José Huguet |
| 2012 | An Optimal Filtering Algorithm for Table Constraints. Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville |
| 2012 | Boosting Local Consistency Algorithms over Floating-Point Numbers. Mohammed Saïd Belaid, Claude Michel, Michel Rueher |
| 2012 | Breaking Variable Symmetry in Almost Injective Problems. Philippe Vismara, Remi Coletta |
| 2012 | Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem. Pierre Schaus, Jean-Charles Régin, Rowan Van Schaeren, Wout Dullaert, Birger Raa |
| 2012 | Classifying and Propagating Parity Constraints. Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä |
| 2012 | Comparing Solution Methods for the Machine Reassignment Problem. Deepak Mehta, Barry O'Sullivan, Helmut Simonis |
| 2012 | Computational Protein Design as a Cost Function Network Optimization Problem. David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex |
| 2012 | Conflict Directed Lazy Decomposition. Ignasi Abío, Peter J. Stuckey |
| 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 | Constraint Programming and a Usability Quest. Laurent D. Michel |
| 2012 | Constraint Programming for Path Planning with Uncertainty - Solving the Optimal Search Path Problem. Michael Morin, Anika-Pascale Papillon, Irène Abi-Zeid, François Laviolette, Claude-Guy Quimper |
| 2012 | Constraint Satisfaction over Bit-Vectors. Laurent D. Michel, Pascal Van Hentenryck |
| 2012 | Constraint-Based Register Allocation and Instruction Scheduling. Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte |
| 2012 | Containment, Equivalence and Coreness from CSP to QCSP and Beyond. Florent R. Madelaine, Barnaby Martin |
| 2012 | Contributions to the Theory of Practical Quantified Boolean Formula Solving. Allen Van Gelder |
| 2012 | Distributed Tree Decomposition with Privacy. Vincent Armant, Laurent Simon, Philippe Dague |
| 2012 | Eigenvector Centrality in Industrial SAT Instances. George Katsirelos, Laurent Simon |
| 2012 | Exploring Chemistry Using SMT. Rolf Fagerberg, Christoph Flamm, Daniel Merkle, Philipp Peters |
| 2012 | Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry. Santiago Ontañón, Pedro Meseguer |
| 2012 | Finding a Nash Equilibrium by Asynchronous Backtracking. Alon Grubshtein, Amnon Meisels |
| 2012 | Focus : A Constraint for Concentrating High Costs. Thierry Petit |
| 2012 | Improved Bounded Max-Sum for Distributed Constraint Optimization. Emma Rollon, Javier Larrosa |
| 2012 | Improving SAT-Based Weighted MaxSAT Solvers. Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
| 2012 | Including Soft Global Constraints in DCOPs. Christian Bessiere, Patricia Gutierrez, Pedro Meseguer |
| 2012 | Increasing Symmetry Breaking by Preserving Target Symmetries. Jimmy Ho-Man Lee, Jingying Li |
| 2012 | Inter-instance Nogood Learning in Constraint Programming. Geoffrey Chu, Peter J. Stuckey |
| 2012 | Interactive Algorithm for Multi-Objective Constraint Optimization. Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
| 2012 | Max-Sur-CSP on Two Elements. Hannes Uppman |
| 2012 | Maximising the Net Present Value of Large Resource-Constrained Projects. Hanyu Gu, Peter J. Stuckey, Mark G. Wallace |
| 2012 | On Computing Minimal Equivalent Subformulas. Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva |
| 2012 | Optimisation Modelling for Software Developers. Kathryn Francis, Sebastian Brand, Peter J. Stuckey |
| 2012 | Optimization Challenges in Smart Grid Operations. Miguel F. Anjos |
| 2012 | Parallel SAT Solver Selection and Scheduling. Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
| 2012 | Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings Michela Milano |
| 2012 | Propagating Soft Table Constraints. Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary |
| 2012 | Properties of Energy-Price Forecasts for Scheduling. Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis |
| 2012 | Reasoning over Biological Networks Using Maximum Satisfiability. João Guerra, Inês Lynce |
| 2012 | Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. Olivier Ponsini, Claude Michel, Michel Rueher |
| 2012 | Refining Restarts Strategies for SAT and UNSAT. Gilles Audemard, Laurent Simon |
| 2012 | Relating Proof Complexity Measures and Practical Hardness of SAT. Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivný |
| 2012 | Resource Constrained Shortest Paths with a Super Additive Objective Function. Stefano Gualandi, Federico Malucelli |
| 2012 | Revisiting Neighborhood Inverse Consistency on Binary CSPs. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
| 2012 | Scheduling Scientific Experiments on the Rosetta/Philae Mission. Gilles Simonin, Christian Artigues, Emmanuel Hebrard, Pierre Lopez |
| 2012 | Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning. Weiming Liu, Sanjiang Li |
| 2012 | Solving Temporal Problems Using SMT: Strong Controllability. Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2012 | Space-Time Tradeoffs for the Regular Constraint. Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap |
| 2012 | Syntactically Characterizing Local-to-Global Consistency in ORD-Horn. Michal Wrona |
| 2012 | The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach. Thiago Serra, Gilberto Nishioka, Fernando J. M. Marcellino |
| 2012 | The Semigroups of Order 10. Andreas Distler, Christopher Jefferson, Tom W. Kelsey, Lars Kotthoff |
| 2012 | The SeqBin Constraint Revisited. George Katsirelos, Nina Narodytska, Toby Walsh |
| 2012 | The Weighted Average Constraint. Alessio Bonfietti, Michele Lombardi |
| 2012 | Time-Dependent Simple Temporal Networks. Cédric Pralet, Gérard Verfaillie |
| 2012 | Towards Solver-Independent Propagators. Jean-Noël Monette, Pierre Flener, Justin Pearson |
| 2012 | Understanding, Improving and Parallelizing MUS Finding Using Model Rotation. Siert Wieringa |
| 2012 | WCSP Integration of Soft Neighborhood Substitutability. Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani |
| 2012 | Weibull-Based Benchmarks for Bin Packing. Ignacio Castiñeiras, Milan De Cauwer, Barry O'Sullivan |
| 2012 | Where Are the Interesting Problems? Barry O'Sullivan |