| 2018 | Clause Learning and New Bounds for Graph Coloring. | Emmanuel Hebrard, George Katsirelos |
| 2018 | A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. | Shan He, Mark Wallace, Graeme Gange, Ariel Liebman, Campbell Wilson |
| 2018 | An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. | Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis |
| 2018 | Sequential Precede Chain for Value Symmetry Elimination. | Graeme Gange, Peter J. Stuckey |
| 2018 | On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. | Rohan Foss, Laurent Simon |
| 2018 | An SMT Approach to Fractional Hypertree Width. | Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider |
| 2018 | A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. | Imen Ouled Dlala, Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2018 | Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. | Emir Demirovic, Geoffrey Chu, Peter J. Stuckey |
| 2018 | Solver-Independent Large Neighbourhood Search. | Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2018 | Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. | Waldemar Cruz, Fanghui Liu, Laurent Michel |
| 2018 | Domain Reduction for Valued Constraints by Generalising Methods from CSP. | Martin C. Cooper, Wafa Jguirim, David A. Cohen |
| 2018 | Balancing Asymmetry in Max-sum Using Split Constraint Factor Graphs. | Liel Cohen, Roie Zivan |
| 2018 | A Constraint Programming Approach for Solving Patient Transportation Problems. | Quentin Cappart, Charles Thomas, Pierre Schaus, Louis-Martin Rousseau |
| 2018 | Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class. | Massimo Bono, Alfonso Emilio Gerevini |
| 2018 | A Constraint-Based Encoding for Domain-Independent Temporal Planning. | Arthur Bit-Monnot |
| 2018 | User's Constraints in Itemset Mining. | Christian Bessiere, Nadjib Lazaar, Mehdi Maamar |
| 2018 | Process Plant Layout Optimization: Equipment Allocation. | Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstck, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace |
| 2018 | Self-configuring Cost-Sensitive Hierarchical Clustering with Recourse. | Carlos Anstegui, Meinolf Sellmann, Kevin Tierney |
| 2018 | Propagating Regular Membership with Dashed Strings. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon |
| 2018 | Metamorphic Testing of Constraint Solvers. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2018 | Towards Effective Deep Learning for Constraint Satisfaction Problems. | Hong Xu, Sven Koenig, T. K. Satish Kumar |
| 2018 | Approximation Strategies for Incomplete MaxSAT. | Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao |
| 2017 | Search Strategies for Floating Point Constraint Systems. | Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel |
| 2017 | Optimizing SAT Encodings for Arithmetic Constraints. | Neng-Fa Zhou, Hkan Kjellerstrand |