| 2016 | A Bit-Vector Solver with Word-Level Propagation. Wenxi Wang, Harald Søndergaard, Peter J. Stuckey |
| 2016 | A Global Constraint for Mining Sequential Patterns with GAP Constraint. Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois |
| 2016 | A New Solver for the Minimum Weighted Vertex Cover Problem. Hong Xu, T. K. Satish Kumar, Sven Koenig |
| 2016 | A Reservoir Balancing Constraint with Applications to Bike-Sharing. Joris Kinable |
| 2016 | A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. Thierry Martinez, François Fages, Abder Aggoun |
| 2016 | Balancing Nursing Workload by Constraint Programming. Gilles Pesant |
| 2016 | Constraint Programming Approach for Spatial Packaging Problem. Abdelilah Sakti, Lawrence Zeidner, Tarik Hadzic, Brian St. Rock, Giusi Quartarone |
| 2016 | Constructions and In-Place Operations for MDDs Based Constraints. Guillaume Perez, Jean-Charles Régin |
| 2016 | Cyclic Routing of Unmanned Aerial Vehicles. Nir Drucker, Michal Penn, Ofer Strichman |
| 2016 | Decomposition Based on Decision Diagrams. David Bergman, André A. Ciré |
| 2016 | Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing. Eliott Roynette, Bertrand Cabon, Cédric Pralet, Vincent Vidal |
| 2016 | Detecting Semantic Groups in MIP Models. Domenico Salvagnin |
| 2016 | Finding a Collection of MUSes Incrementally. Fahiem Bacchus, George Katsirelos |
| 2016 | Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing. Cyrille Dejemeppe, Olivier Devolder, Victor Lecomte, Pierre Schaus |
| 2016 | Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings Claude-Guy Quimper |
| 2016 | Lagrangian Decomposition via Sub-problem Search. Geoffrey Chu, Graeme Gange, Peter J. Stuckey |
| 2016 | Logic-Based Decomposition Methods for the Travelling Purchaser Problem. Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck |
| 2016 | Non-linear Optimization of Business Models in the Electricity Market. Allegra De Filippo, Michele Lombardi, Michela Milano |
| 2016 | On CNF Encodings of Decision Diagrams. Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey |
| 2016 | Optimal Flood Mitigation over Flood Propagation Approximations. Byron Tasseff, Russell Bent, Pascal Van Hentenryck |
| 2016 | Optimal Upgrading Schemes for Effective Shortest Paths in Networks. Eduardo Álvarez-Miranda, Martin Luipersbeck, Markus Sinnl |
| 2016 | Optimization Models for a Real-World Snow Plow Routing Problem. Joris Kinable, Willem-Jan van Hoeve, Stephen F. Smith |
| 2016 | Parallel Composition of Scheduling Solvers. Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck |
| 2016 | Parallelizing Constraint Programming with Learning. Thorsten Ehlers, Peter J. Stuckey |
| 2016 | Rail Capacity Modelling with Constraint Programming. Daniel Harabor, Peter J. Stuckey |
| 2016 | Revisiting Two-Sided Stability Constraints. Mohamed Siala, Barry O'Sullivan |
| 2016 | Scheduling Home Hospice Care with Logic-Based Benders Decomposition. Aliza R. Heching, John N. Hooker |
| 2016 | The TaskIntersection Constraint. Gilles Madi-Wamba, Nicolas Beldiceanu |
| 2016 | Time-Series Constraints: Improvements and Application in CP and MIP Contexts. Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis |
| 2016 | Weighted Spanning Tree Constraint with Explanations. Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey |