| 2017 | Optimal Torpedo Scheduling. | Adrian Goldwaser, Andreas Schutt |
| 2017 | Combining Nogoods in Restart-Based Search. | Gael Glorian, Frdric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure |
| 2017 | Clique Cuts in Weighted Constraint Satisfaction. | Simon de Givry, George Katsirelos |
| 2017 | Arc Consistency via Linear Programming. | Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost |
| 2017 | A Declarative Approach to Constrained Community Detection. | Mohadeseh Ganji, James Bailey, Peter J. Stuckey |
| 2017 | Conjunctions of Among Constraints. | Vctor Dalmau |
| 2017 | Constraint Programming for Multi-criteria Conceptual Clustering. | Maxime Chabert, Christine Solnon |
| 2017 | An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
| 2017 | Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. | Erez Bilgory, Eyal Bin, Avi Ziv |
| 2017 | Minimum-Width Confidence Bands via Constraint Optimization. | Jeremias Berg, Emilia Oikarinen, Matti Jrvisalo, Kai Puolamki |
| 2017 | Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. | Jeremias Berg, Matti Jrvisalo |
| 2017 | An Optimization Model for 3D Pipe Routing with Flexibility Constraints. | Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace |
| 2017 | Reduced Cost Fixing in MaxSAT. | Fahiem Bacchus, Antti Hyttinen, Matti Jrvisalo, Paul Saikko |
| 2017 | among Implied Constraints for Two Families of Time-Series Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
| 2017 | Generating Linear Invariants for a Conjunction of Automata Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
| 2017 | A Novel Approach to String Constraint Solving. | Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack |
| 2017 | Constraint-Based Synthesis of Datalog Programs. | Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith |
| 2017 | Rotation-Based Formulation for Stable Matching. | Mohamed Siala, Barry O'Sullivan |
| 2016 | Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. | Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes |
| 2016 | Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. | Clment Viricel, David Simoncini, Sophie Barbe, Thomas Schiex |
| 2016 | A Bounded Path Propagator on Directed Graphs. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | A Nearly Exact Propagation Algorithm for Energetic Reasoning in \mathcal O(n^2 \log n). | Alexander Tesch |
| 2016 | Constraint Programming Approach to the Problem of Generating Milton Babbitt's All-Partition Arrays. | Tsubasa Tanaka, Brian Bemman, David Meredith |
| 2016 | Modelling and Solving Multi-mode Resource-Constrained Project Scheduling. | Ria Szeredi, Andreas Schutt |
| 2016 | Finding Unsatisfiable Cores of a Set of Polynomials Using the Grbner Basis Algorithm. | Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu |