| 2020 | Pushing Data into CP Models Using Graphical Model Learning and Solving. | Cline Brouard, Simon de Givry, Thomas Schiex |
| 2020 | Quantum-Accelerated Global Constraint Filtering. | Kyle E. C. Booth, Bryan O'Gorman, Jeffrey Marshall, Stuart Hadfield, Eleanor Gilbert Rieffel |
| 2020 | Solving Satisfaction Problems Using Large-Neighbourhood Search. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
| 2020 | Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Ivana Cern |
| 2020 | Combinatorial Search in CP-Based Iterated Belief Propagation. | Behrouz Babaki, Bilel Omrani, Gilles Pesant |
| 2020 | Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing. | Valentin Antuori, Emmanuel Hebrard, Marie-Jos Huguet, Siham Essodaigui, Alain Nguyen |
| 2020 | Dashed Strings and the Replace(-all) Constraint. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2019 | Lemma Synthesis for Automating Induction over Algebraic Data Types. | Weikun Yang, Grigory Fedyukovich, Aarti Gupta |
| 2019 | Structure-Driven Multiple Constraint Acquisition. | Dimosthenis C. Tsouros, Kostas Stergiou, Christian Bessiere |
| 2019 | Compiling Conditional Constraints. | Peter J. Stuckey, Guido Tack |
| 2019 | Automatic Streamlining for Constrained Optimisation. | Patrick Spracklen, Nguyen Dang, zgr Akgn, Ian Miguel |
| 2019 | Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. | Alexander Schiendorfer, Wolfgang Reif |
| 2019 | Reward Potentials for Planning with Learned Neural Network Transition Models. | Buser Say, Scott Sanner, Sylvie Thibaux |
| 2019 | Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems. | Adriana Pacheco, Cdric Pralet, Stphanie Roussel |
| 2019 | Encodings for Enumeration-Based Program Synthesis. | Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho |
| 2019 | Scheduling of Mobile Robots Using Constraint Programming. | Stanislav Murn, Hana Rudov |
| 2019 | Guarded Constraint Models Define Treewidth Preserving Reductions. | David Mitchell |
| 2019 | Understanding the Empirical Hardness of Random Optimisation Problems. | Ciaran McCreesh, William Pettersson, Patrick Prosser |
| 2019 | Generic Constraint-Based Block Modeling Using Constraint Programming. | Alex Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus |
| 2019 | Exploiting Counterfactuals for Scalable Stochastic Optimization. | Stefan Kuhlemann, Meinolf Sellmann, Kevin Tierney |
| 2019 | Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. | Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons |
| 2019 | Integration of Structural Constraints into TSP Models. | Nicolas Isoart, Jean-Charles Rgin |
| 2019 | Training Binarized Neural Networks Using MIP and CP. | Rodrigo Toro Icarte, Len Illanes, Margarita P. Castro, Andr A. Cir, Sheila A. McIlraith, J. Christopher Beck |
| 2019 | Improved Job Sequencing Bounds from Decision Diagrams. | John N. Hooker |
| 2019 | Trimming Graphs Using Clausal Proof Optimization. | Marijn J. H. Heule |