| 2017 | Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery. | Junwen Bai, Johan Bjorck, Yexiang Xue, Santosh K. Suram, John M. Gregoire, Carla P. Gomes |
| 2017 | A Fast Prize-Collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks. | Murodzhon Akhmedov, Alexander LeNail, Francesco Bertoni, Ivo Kwee, Ernest Fraenkel, Roberto Montemanni |
| 2017 | htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond. | Michael Abseher, Nysret Musliu, Stefan Woltran |
| 2016 | A New Solver for the Minimum Weighted Vertex Cover Problem. | Hong Xu, T. K. Satish Kumar, Sven Koenig |
| 2016 | A Bit-Vector Solver with Word-Level Propagation. | Wenxi Wang, Harald Sndergaard, Peter J. Stuckey |
| 2016 | Weighted Spanning Tree Constraint with Explanations. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | Optimal Flood Mitigation over Flood Propagation Approximations. | Byron Tasseff, Russell Bent, Pascal Van Hentenryck |
| 2016 | Detecting Semantic Groups in MIP Models. | Domenico Salvagnin |
| 2016 | Constraint Programming Approach for Spatial Packaging Problem. | Abdelilah Sakti, Lawrence Zeidner, Tarik Hadzic, Brian St. Rock, Giusi Quartarone |
| 2016 | Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing. | Eliott Roynette, Bertrand Cabon, Cdric Pralet, Vincent Vidal |
| 2016 | Balancing Nursing Workload by Constraint Programming. | Gilles Pesant |
| 2016 | Constructions and In-Place Operations for MDDs Based Constraints. | Guillaume Perez, Jean-Charles Rgin |
| 2016 | A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. | Thierry Martinez, Franois Fages, Abder Aggoun |
| 2016 | The TaskIntersection Constraint. | Gilles Madi-Wamba, Nicolas Beldiceanu |
| 2016 | Optimization Models for a Real-World Snow Plow Routing Problem. | Joris Kinable, Willem-Jan van Hoeve, Stephen F. Smith |
| 2016 | A Reservoir Balancing Constraint with Applications to Bike-Sharing. | Joris Kinable |
| 2016 | A Global Constraint for Mining Sequential Patterns with GAP Constraint. | Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois |
| 2016 | Scheduling Home Hospice Care with Logic-Based Benders Decomposition. | Aliza R. Heching, John N. Hooker |
| 2016 | Rail Capacity Modelling with Constraint Programming. | Daniel Harabor, Peter J. Stuckey |
| 2016 | Parallel Composition of Scheduling Solvers. | Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck |
| 2016 | Non-linear Optimization of Business Models in the Electricity Market. | Allegra De Filippo, Michele Lombardi, Michela Milano |
| 2016 | Parallelizing Constraint Programming with Learning. | Thorsten Ehlers, Peter J. Stuckey |
| 2016 | Cyclic Routing of Unmanned Aerial Vehicles. | Nir Drucker, Michal Penn, Ofer Strichman |
| 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 | Lagrangian Decomposition via Sub-problem Search. | Geoffrey Chu, Graeme Gange, Peter J. Stuckey |