| 2018 | A Circuit Constraint for Multiple Tours Problems. Philippe Vismara, Nicolas Briot |
| 2018 | A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. Fanghui Liu, Waldemar Cruz, Laurent Michel |
| 2018 | A Constraint Programming Approach for Solving Patient Transportation Problems. Quentin Cappart, Charles Thomas, Pierre Schaus, Louis-Martin Rousseau |
| 2018 | A Constraint-Based Encoding for Domain-Independent Temporal Planning. Arthur Bit-Monnot |
| 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 | A Large Neighboring Search Schema for Multi-agent Optimization. Khoi D. Hoang, Ferdinando Fioretto, William Yeoh, Enrico Pontelli, Roie Zivan |
| 2018 | A Novel Graph-Based Heuristic Approach for Solving Sport Scheduling Problem. Meriem Khelifa, Dalila Boughaci, Esma Aïmeur |
| 2018 | A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2018 | Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh |
| 2018 | An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis |
| 2018 | An SMT Approach to Fractional Hypertree Width. Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider |
| 2018 | Approximation Strategies for Incomplete MaxSAT. Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao |
| 2018 | Augmenting Stream Constraint Programming with Eventuality Conditions. Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong |
| 2018 | Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon |
| 2018 | Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. Patrick Spracklen, Özgür Akgün, Ian Miguel |
| 2018 | Balancing Asymmetry in Max-sum Using Split Constraint Factor Graphs. Liel Cohen, Roie Zivan |
| 2018 | Clause Learning and New Bounds for Graph Coloring. Emmanuel Hebrard, George Katsirelos |
| 2018 | Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class. Massimo Bono, Alfonso Emilio Gerevini |
| 2018 | Distributed Constrained Search by Selfish Agents for Efficient Equilibria. Vadim Levit, Amnon Meisels |
| 2018 | Domain Reduction for Valued Constraints by Generalising Methods from CSP. Martin C. Cooper, Wafa Jguirim, David A. Cohen |
| 2018 | Efficient Methods for Constraint Acquisition. Dimosthenis C. Tsouros, Kostas Stergiou, Panagiotis G. Sarigiannidis |
| 2018 | Evaluating QBF Solvers: Quantifier Alternations Matter. Florian Lonsing, Uwe Egly |
| 2018 | Extending the Capacity of 1 / f Noise Generation. Guillaume Perez, Brendan Rappazzo, Carla P. Gomes |
| 2018 | Finding Solutions by Finding Inconsistencies. Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné |
| 2018 | Improving Energetic Propagations for Cumulative Scheduling. Alexander Tesch |
| 2018 | Learning-Sensitive Backdoors with Restarts. Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules. Dmitry Malioutov, Kuldeep S. Meel |
| 2018 | Making Compact-Table Compact. Linnea Ingmar, Christian Schulte |
| 2018 | Metamorphic Testing of Constraint Solvers. Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2018 | Objective as a Feature for Robust Search Strategies. Anthony Palmieri, Guillaume Perez |
| 2018 | On Maximal Frequent Itemsets Mining with Constraints. Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais |
| 2018 | On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. Rohan Fossé, Laurent Simon |
| 2018 | PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. Anthony Schneider, Berthe Y. Choueiry |
| 2018 | Portfolio-Based Algorithm Selection for Circuit QBFs. Holger H. Hoos, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider |
| 2018 | Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings John N. Hooker |
| 2018 | Process Plant Layout Optimization: Equipment Allocation. Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstück, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace |
| 2018 | Propagating Regular Membership with Dashed Strings. Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | Quantified Valued Constraint Satisfaction Problem. Florent R. Madelaine, Stéphane Secouard |
| 2018 | Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. Waldemar Cruz, Fanghui Liu, Laurent Michel |
| 2018 | Self-configuring Cost-Sensitive Hierarchical Clustering with Recourse. Carlos Ansótegui, Meinolf Sellmann, Kevin Tierney |
| 2018 | Sequential Precede Chain for Value Symmetry Elimination. Graeme Gange, Peter J. Stuckey |
| 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 | The Effect of Structural Measures and Merges on SAT Solver Performance. Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | Towards Effective Deep Learning for Constraint Satisfaction Problems. Hong Xu, Sven Koenig, T. K. Satish Kumar |
| 2018 | Towards Semi-Automatic Learning-Based Model Transformation. Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda |
| 2018 | Unifying Reserve Design Strategies with Graph Theory and Constraint Programming. Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca |
| 2018 | User's Constraints in Itemset Mining. Christian Bessiere, Nadjib Lazaar, Mehdi Maamar |