| 2016 | Logic-Based Decomposition Methods for the Travelling Purchaser Problem. | Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck |
| 2016 | Decomposition Based on Decision Diagrams. | David Bergman, Andr A. Cir |
| 2016 | Finding a Collection of MUSes Incrementally. | Fahiem Bacchus, George Katsirelos |
| 2016 | Time-Series Constraints: Improvements and Application in CP and MIP Contexts. | Ekaterina Arafailova, Nicolas Beldiceanu, Rmi Douence, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson, Helmut Simonis |
| 2016 | Optimal Upgrading Schemes for Effective Shortest Paths in Networks. | Eduardo lvarez-Miranda, Martin Luipersbeck, Markus Sinnl |
| 2016 | On CNF Encodings of Decision Diagrams. | Ignasi Abo, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey |
| 2016 | Revisiting Two-Sided Stability Constraints. | Mohamed Siala, Barry O'Sullivan |
| 2015 | Failure-Directed Search for Constraint-Based Scheduling. | Petr Vilm, Philippe Laborie, Paul Shaw |
| 2015 | Learning General Constraints in CSP. | Michael Veksler, Ofer Strichman |
| 2015 | Freight Train Threading with Different Algorithms. | Ilankaikone Senthooran, Mark Wallace, Leslie De Koninck |
| 2015 | Constraint Solving on Bounded String Variables. | Joseph D. Scott, Pierre Flener, Justin Pearson |
| 2015 | A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. | Michael Saint-Guillain, Yves Deville, Christine Solnon |
| 2015 | MaxSAT-Based Cutting Planes for Learning Graphical Models. | Paul Saikko, Brandon M. Malone, Matti Jrvisalo |
| 2015 | Packing While Traveling: Mixed Integer Programming for a Class of Nonlinear Knapsack Problems. | Sergey Polyakovskiy, Frank Neumann |
| 2015 | Constraint-Based Local Search for Golomb Rulers. | Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar |
| 2015 | A Comparative Study of MIP and CP Formulations for the B2B Scheduling Optimization Problem. | Gilles Pesant, Gregory Rix, Louis-Martin Rousseau |
| 2015 | Constraint-Based Sequence Mining Using Constraint Programming. | Benjamin Ngrevergne, Tias Guns |
| 2015 | A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems. | Penlope Aguiar-Melgarejo, Philippe Laborie, Christine Solnon |
| 2015 | The Smart Table Constraint. | Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre |
| 2015 | Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings. | BoonPing Lim, Menkes van den Briel, Sylvie Thibaux, Russell Bent, Scott Backhaus |
| 2015 | Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem. | Wen-Yang Ku, J. Christopher Beck |
| 2015 | BDD-Guided Clause Generation. | Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve |
| 2015 | Enhancing MIP Branching Decisions by Using the Sample Variance of Pseudo Costs. | Gregor Hendel |
| 2015 | An Efficient Local Search for Partial Latin Square Extension Problem. | Kazuya Haraguchi |
| 2015 | Uncertain Data Dependency Constraints in Matrix Models. | Carmen Gervet, Sylvie Galichet |