| 2016 | Constraint Programming Models for Chosen Key Differential Cryptanalysis. | David Grault, Marine Minier, Christine Solnon |
| 2016 | Backdoors to Tractable Valued CSP. | Robert Ganian, M. S. Ramanujan, Stefan Szeider |
| 2016 | A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs. | Ferdinando Fioretto, William Yeoh, Enrico Pontelli |
| 2016 | Interval Constraints with Learning: Application to Air Traffic Control. | Thibaut Feydy, Peter J. Stuckey |
| 2016 | SABIO: An Implementation of MIP and CP for Interactive Soccer Queries. | Robinson Duque, Juan Francisco Daz, Alejandro Arbelaez |
| 2016 | Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. | Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Rgin, Pierre Schaus |
| 2016 | Extending Broken Triangles and Enhanced Value-Merging. | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux |
| 2016 | Breaking Symmetries in Graphs: The Nauty Way. | Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
| 2016 | Efficient Filtering for the Unary Resource with Family-Based Transition Times. | Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Nol Monette, Pierre Schaus |
| 2016 | Propagation via Kernelization: The Vertex Cover Constraint. | Clment Carbonnel, Emmanuel Hebrard |
| 2016 | The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable. | Clment Carbonnel |
| 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 | The Multirate Resource Constraint. | Alessio Bonfietti, Alessandro Zanarini, Michele Lombardi, Michela Milano |
| 2016 | Dependency Schemes in QBF Calculi: Semantics and Soundness. | Olaf Beyersdorff, Joshua Blinkhorn |
| 2016 | Multiobjective Optimization by Decision Diagrams. | David Bergman, Andr Augusto Cir |
| 2016 | Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. | Jeremias Berg, Matti Jrvisalo |
| 2016 | Improved Linearization of Constraint Programming Models. | Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace |
| 2016 | An Adaptive Parallel SAT Solver. | Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sbastien Tabary |
| 2016 | Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson, Helmut Simonis |
| 2016 | Optimal Performance Tuning in Real-Time Systems Using Multi-objective Constrained Optimization. | Stefano Di Alesio |
| 2016 | Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2016 | Using Graph-Based CSP to Solve the Address Translation Problem. | Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler |
| 2015 | Automatically Generating Streamlined Constraint Models with Essence and Conjure. | James Wetter, zgr Akgn, Ian Miguel |
| 2015 | A General Framework for Reordering Agents Asynchronously in Distributed CSP. | Mohamed Wahbi, Younes Mechqrane, Christian Bessiere, Kenneth N. Brown |
| 2015 | Hybridization of Interval CP and Evolutionary Algorithms for Optimizing Difficult Problems. | Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand, Jean-Marc Alliot |