| 2014 | A Complete Solver for Constraint Games. Thi-Van-Anh Nguyen, Arnaud Lallouet |
| 2014 | A Declarative Paradigm for Robust Cumulative Scheduling. Alban Derrien, Thierry Petit, Stéphane Zampelli |
| 2014 | A Modular Architecture for Hybrid Planning with Theories. Maria Fox |
| 2014 | A New Characterization of Relevant Intervals for Energetic Reasoning. Alban Derrien, Thierry Petit |
| 2014 | Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports. Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessiere |
| 2014 | Aggregating CP-nets with Unfeasible Outcomes. Umberto Grandi, Hang Luo, Nicolas Maudet, Francesca Rossi |
| 2014 | Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems. Mirko Stojadinovic |
| 2014 | An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search. Jimmy H. M. Lee, Zichen Zhu |
| 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, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2014 | Beyond Consistency and Substitutability. Martin C. Cooper |
| 2014 | CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem. Wen-Yang Ku, Thiago Pinheiro, J. Christopher Beck |
| 2014 | Case Study: Constraint Programming in a System Level Synthesis Framework. Shuo Li, Ahmed Hemani |
| 2014 | Concurrent Constraint Programming Research Programmes - Redux. Vijay A. Saraswat |
| 2014 | Constraint-Based Lagrangian Relaxation. Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck |
| 2014 | Continuous Casting Scheduling with Constraint Programming. Steven Gay, Pierre Schaus, Vivian De Smedt |
| 2014 | Core-Guided MaxSAT with Soft Cardinality Constraints. António Morgado, Carmine Dodaro, João Marques-Silva |
| 2014 | Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization. Emma Rollon, Javier Larrosa |
| 2014 | Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach. Cédric Pralet, Charles Lesire |
| 2014 | Discriminating Instance Generation for Automated Constraint Model Selection. Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale |
| 2014 | Domain Views for Constraint Programming. Pascal Van Hentenryck, Laurent D. Michel |
| 2014 | Efficient Application of Max-SAT Resolution on Inconsistent Subsets. André Abramé, Djamal Habet |
| 2014 | Encoding Linear Constraints into SAT. Ignasi Abío, Peter J. Stuckey |
| 2014 | Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector. Loïc Blet, Samba Ndojh Ndiaye, Christine Solnon |
| 2014 | Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT. Mohamed Wahbi, Kenneth N. Brown |
| 2014 | Higher-Order Consistencies through GAC on Factor Variables. Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap |
| 2014 | Improvement of the Embarrassingly Parallel Search for Data Centers. Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert |
| 2014 | Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son |
| 2014 | Improving GAC-4 for Table and MDD Constraints. Guillaume Perez, Jean-Charles Régin |
| 2014 | Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning. Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
| 2014 | Incremental Cardinality Constraints for MaxSAT. Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce |
| 2014 | Incremental QBF Solving. Florian Lonsing, Uwe Egly |
| 2014 | Insights into Parallelism with Intensive Knowledge Sharing. Ashish Sabharwal, Horst Samulowitz |
| 2014 | Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson |
| 2014 | Loop Untangling. Kathryn Francis, Peter J. Stuckey |
| 2014 | Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models. Levi H. S. Lelis, Lars Otten, Rina Dechter |
| 2014 | Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract). Martin C. Cooper, Frederic Maris, Pierre Régnier |
| 2014 | Multivalued Decision Diagrams for Sequencing Problems - (Extended Abstract). André A. Ciré, Willem-Jan van Hoeve |
| 2014 | Nested Constraint Programs. Geoffrey Chu, Peter J. Stuckey |
| 2014 | On Backdoors to Tractable Constraint Languages. Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard |
| 2014 | On Broken Triangles. Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini |
| 2014 | On Compiling CNF into Decision-DNNF. Umut Oztok, Adnan Darwiche |
| 2014 | On the Erdős Discrepancy Problem. Ronan Le Bras, Carla P. Gomes, Bart Selman |
| 2014 | One Problem, Two Structures, Six Solvers, and Ten Years of Personnel Scheduling. Louis-Martin Rousseau |
| 2014 | Optimization Bounds from Binary Decision Diagrams - (Extended Abstract). David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker |
| 2014 | Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings Barry O'Sullivan |
| 2014 | Proactive Workload Dispatching on the EURORA Supercomputer. Andrea Bartolini, Andrea Borghesi, Thomas Bridi, Michele Lombardi, Michela Milano |
| 2014 | Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract). Elsa Carvalho, Jorge Cruz, Pedro Barahona |
| 2014 | Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem. Ciaran McCreesh, Patrick Prosser |
| 2014 | Reformulation Based MaxSAT Robustness - (Extended Abstract). Miquel Bofill, Dídac Busquets, Mateu Villaret |
| 2014 | Robustness and Stability in Constraint Programming under Dynamism and Uncertainty - (Extended Abstract). Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber |
| 2014 | Scalable Parallel Numerical CSP Solver. Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura |
| 2014 | Scheduling Agents Using Forecast Call Arrivals at Hydro-Québec's Call Centers. Marie Pelleau, Louis-Martin Rousseau, Pierre L'Ecuyer, Walid Zegal, Louis Delorme |
| 2014 | Scheduling B2B Meetings. Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret |
| 2014 | Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem. Gilles Audemard, Christophe Lecoutre, Mouny Samy Modeliar, Gilles Goncalves, Daniel Cosmin Porumbel |
| 2014 | Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. Roberto Amadini, Peter J. Stuckey |
| 2014 | Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret |
| 2014 | Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions. Simon de Givry, Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum |
| 2014 | Stochastic MiniZinc. Andrea Rendl, Guido Tack, Peter J. Stuckey |
| 2014 | Subexponential Time Complexity of CSP with Global Constraints. Ronald de Haan, Iyad A. Kanj, Stefan Szeider |
| 2014 | Teaching Constraint Programming. Patrick Prosser |
| 2014 | The Balance Constraint Family. Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh |
| 2014 | The Impact of Wireless Communication on Distributed Constraint Satisfaction. Mohamed Wahbi, Kenneth N. Brown |
| 2014 | The IntSat Method for Integer Linear Programming. Robert Nieuwenhuis |
| 2014 | The Non-overlapping Constraint between Objects Described by Non-linear Inequalities. Ignacio Salas, Gilles Chabert, Alexandre Goldsztejn |
| 2014 | The Propagation Depth of Local Consistency. Christoph Berkholz |
| 2014 | The StockingCost Constraint. Vinasétan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey, Yves Deville |
| 2014 | Towards Practical Infinite Stream Constraint Programming: Applications and Implementation. Jasper C. H. Lee, Jimmy H. M. Lee |
| 2014 | Tree-Decompositions with Connected Clusters for Solving Constraint Networks. Philippe Jégou, Cyril Terrioux |
| 2014 | Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. Morten Mossige, Arnaud Gotlieb, Hein Meling |
| 2014 | View-Based Propagator Derivation - (Extended Abstract). Christian Schulte, Guido Tack |
| 2014 | Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb |