| 2016 | A Bounded Path Propagator on Directed Graphs. Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes. Kyle E. C. Booth, Goldie Nejat, J. Christopher Beck |
| 2016 | A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs. Ferdinando Fioretto, William Yeoh, Enrico Pontelli |
| 2016 | A Global Constraint for Closed Frequent Pattern Mining. Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere, Patrice Boizumault |
| 2016 | A Nearly Exact Propagation Algorithm for Energetic Reasoning in \mathcal O(n^2 \log n). Alexander Tesch |
| 2016 | A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks. Luke Hunsberger, Roberto Posenato |
| 2016 | An Adaptive Parallel SAT Solver. Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary |
| 2016 | Assisted Lead Sheet Composition Using FlowComposer. Alexandre Papadopoulos, Pierre Roy, François Pachet |
| 2016 | Availability Optimization in Cloud-Based In-Memory Data Grids. Samir Sebbah, Claire Bagley, Mike Colena, Serdar Kadioglu |
| 2016 | Backdoors to Tractable Valued CSP. Robert Ganian, M. S. Ramanujan, Stefan Szeider |
| 2016 | Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes |
| 2016 | Breaking Symmetries in Graphs: The Nauty Way. Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
| 2016 | Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems. Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon |
| 2016 | Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus |
| 2016 | Constraining Redundancy to Improve Protein Docking. Ludwig Krippahl, Pedro Barahona |
| 2016 | Constraint Programming Approach to the Problem of Generating Milton Babbitt's All-Partition Arrays. Tsubasa Tanaka, Brian Bemman, David Meredith |
| 2016 | Constraint Programming Models for Chosen Key Differential Cryptanalysis. David Gérault, Marine Minier, Christine Solnon |
| 2016 | Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems. Wen-Yang Ku, J. Christopher Beck |
| 2016 | Dependency Schemes in QBF Calculi: Semantics and Soundness. Olaf Beyersdorff, Joshua Blinkhorn |
| 2016 | Efficient Filtering for the Unary Resource with Family-Based Transition Times. Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Noël Monette, Pierre Schaus |
| 2016 | Enforcing Structure on Temporal Sequences: The Allen Constraint. Pierre Roy, Guillaume Perez, Jean-Charles Régin, Alexandre Papadopoulos, François Pachet, Marco Marchini |
| 2016 | Explaining Producer/Consumer Constraints. Andreas Schutt, Peter J. Stuckey |
| 2016 | Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2016 | Extending Broken Triangles and Enhanced Value-Merging. Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux |
| 2016 | Finding Alternative Musical Scales. John N. Hooker |
| 2016 | Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm. Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu |
| 2016 | Four-Bar Linkage Synthesis Using Non-convex Optimization. Vincent Goulet, Wei Li, Hyunmin Cheong, Francesco Iorio, Claude-Guy Quimper |
| 2016 | Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex |
| 2016 | Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. Jeremias Berg, Matti Järvisalo |
| 2016 | Improved Linearization of Constraint Programming Models. Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace |
| 2016 | Interval Constraints with Learning: Application to Air Traffic Control. Thibaut Feydy, Peter J. Stuckey |
| 2016 | Learning Parameters for the Sequence Constraint from Solutions. Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney |
| 2016 | Learning from Learning Solvers. Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
| 2016 | Modelling and Solving Multi-mode Resource-Constrained Project Scheduling. Ria Szeredi, Andreas Schutt |
| 2016 | Monte-Carlo Tree Search for the Maximum Satisfiability Problem. Jack Goffinet, Raghuram Ramanujan |
| 2016 | Morphing Between Stable Matching Problems. Ciaran McCreesh, Patrick Prosser, James Trimble |
| 2016 | Multiobjective Optimization by Decision Diagrams. David Bergman, André Augusto Ciré |
| 2016 | On Finding Minimum Satisfying Assignments. Alexey Ignatiev, Alessandro Previti, João Marques-Silva |
| 2016 | On Incremental Core-Guided MaxSAT Solving. Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik |
| 2016 | Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. BoonPing Lim, Hassan L. Hijazi, Sylvie Thiébaux, Menkes van den Briel |
| 2016 | Optimal Performance Tuning in Real-Time Systems Using Multi-objective Constrained Optimization. Stefano Di Alesio |
| 2016 | Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang |
| 2016 | Parallel Strategies Selection. Anthony Palmieri, Jean-Charles Régin, Pierre Schaus |
| 2016 | Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings Michel Rueher |
| 2016 | Propagation via Kernelization: The Vertex Cover Constraint. Clément Carbonnel, Emmanuel Hebrard |
| 2016 | SABIO: An Implementation of MIP and CP for Interactive Soccer Queries. Robinson Duque, Juan Francisco Díaz, Alejandro Arbelaez |
| 2016 | Solving a Supply-Delivery Scheduling Problem with Constraint Programming. Katherine Giles, Willem-Jan van Hoeve |
| 2016 | Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis |
| 2016 | The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable. Clément Carbonnel |
| 2016 | The Multirate Resource Constraint. Alessio Bonfietti, Alessandro Zanarini, Michele Lombardi, Michela Milano |
| 2016 | The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors. Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin A. Moser, Dominik Scheder, May Szedlák |
| 2016 | Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning. Harsha Nagarajan, Mowen Lu, Emre Yamangil, Russell Bent |
| 2016 | Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size. Philippe Jégou, Hanan Kanso, Cyril Terrioux |
| 2016 | Using Constraint Programming for the Urban Transit Crew Rescheduling Problem. Xavier Lorca, Charles Prud'homme, Aurélien Questel, Benoît Rottembourg |
| 2016 | Using Graph-Based CSP to Solve the Address Translation Problem. Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler |