| 2014 | View-Based Propagator Derivation - (Extended Abstract). | Christian Schulte, Guido Tack |
| 2014 | Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning. | Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
| 2014 | Concurrent Constraint Programming Research Programmes - Redux. | Vijay A. Saraswat |
| 2014 | The Non-overlapping Constraint between Objects Described by Non-linear Inequalities. | Ignacio Salas, Gilles Chabert, Alexandre Goldsztejn |
| 2014 | Insights into Parallelism with Intensive Knowledge Sharing. | Ashish Sabharwal, Horst Samulowitz |
| 2014 | One Problem, Two Structures, Six Solvers, and Ten Years of Personnel Scheduling. | Louis-Martin Rousseau |
| 2014 | Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization. | Emma Rollon, Javier Larrosa |
| 2014 | Stochastic MiniZinc. | Andrea Rendl, Guido Tack, Peter J. Stuckey |
| 2014 | Improvement of the Embarrassingly Parallel Search for Data Centers. | Jean-Charles Rgin, Mohamed Rezgui, Arnaud Malapert |
| 2014 | Teaching Constraint Programming. | Patrick Prosser |
| 2014 | Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach. | Cdric Pralet, Charles Lesire |
| 2014 | Improving GAC-4 for Table and MDD Constraints. | Guillaume Perez, Jean-Charles Rgin |
| 2014 | Scheduling Agents Using Forecast Call Arrivals at Hydro-Qubec's Call Centers. | Marie Pelleau, Louis-Martin Rousseau, Pierre L'Ecuyer, Walid Zegal, Louis Delorme |
| 2014 | On Compiling CNF into Decision-DNNF. | Umut Oztok, Adnan Darwiche |
| 2014 | Anytime AND/OR Depth-First Search for Combinatorial Optimization - (Extended Abstract). | Lars Otten, Rina Dechter |
| 2014 | Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. | Peter Nightingale, zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2014 | The IntSat Method for Integer Linear Programming. | Robert Nieuwenhuis |
| 2014 | A Complete Solver for Constraint Games. | Thi-Van-Anh Nguyen, Arnaud Lallouet |
| 2014 | Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. | Morten Mossige, Arnaud Gotlieb, Hein Meling |
| 2014 | Core-Guided MaxSAT with Soft Cardinality Constraints. | Antnio Morgado, Carmine Dodaro, Joo Marques-Silva |
| 2014 | Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem. | Ciaran McCreesh, Patrick Prosser |
| 2014 | Incremental Cardinality Constraints for MaxSAT. | Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ins Lynce |
| 2014 | Incremental QBF Solving. | Florian Lonsing, Uwe Egly |
| 2014 | Higher-Order Consistencies through GAC on Factor Variables. | Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap |
| 2014 | Case Study: Constraint Programming in a System Level Synthesis Framework. | Shuo Li, Ahmed Hemani |