| 2019 | Instance Generation via Generator Instances. | zgr Akgn, Nguyen Dang, Ian Miguel, Andrs Z. Salamon, Christopher Stone |
| 2018 | Learning-Sensitive Backdoors with Restarts. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 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 | Finding Solutions by Finding Inconsistencies. | Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Min |
| 2018 | Towards Semi-Automatic Learning-Based Model Transformation. | Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda |
| 2018 | A Circuit Constraint for Multiple Tours Problems. | Philippe Vismara, Nicolas Briot |
| 2018 | Efficient Methods for Constraint Acquisition. | Dimosthenis C. Tsouros, Kostas Stergiou, Panagiotis G. Sarigiannidis |
| 2018 | Improving Energetic Propagations for Cumulative Scheduling. | Alexander Tesch |
| 2018 | Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. | Patrick Spracklen, zgr Akgn, Ian Miguel |
| 2018 | PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. | Anthony Schneider, Berthe Y. Choueiry |
| 2018 | Extending the Capacity of 1 / f Noise Generation. | Guillaume Perez, Brendan Rappazzo, Carla P. Gomes |
| 2018 | Objective as a Feature for Robust Search Strategies. | Anthony Palmieri, Guillaume Perez |
| 2018 | Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. | Saeed Nejati, Jan Horcek, Catherine H. Gebotys, Vijay Ganesh |
| 2018 | MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules. | Dmitry Malioutov, Kuldeep S. Meel |
| 2018 | Quantified Valued Constraint Satisfaction Problem. | Florent R. Madelaine, Stphane Secouard |
| 2018 | Evaluating QBF Solvers: Quantifier Alternations Matter. | Florian Lonsing, Uwe Egly |
| 2018 | A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. | Fanghui Liu, Waldemar Cruz, Laurent Michel |
| 2018 | Distributed Constrained Search by Selfish Agents for Efficient Equilibria. | Vadim Levit, Amnon Meisels |
| 2018 | Augmenting Stream Constraint Programming with Eventuality Conditions. | Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong |
| 2018 | A Novel Graph-Based Heuristic Approach for Solving Sport Scheduling Problem. | Meriem Khelifa, Dalila Boughaci, Esma Ameur |
| 2018 | Unifying Reserve Design Strategies with Graph Theory and Constraint Programming. | Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca |
| 2018 | On Maximal Frequent Itemsets Mining with Constraints. | Sad Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais |
| 2018 | Making Compact-Table Compact. | Linnea Ingmar, Christian Schulte |
| 2018 | Portfolio-Based Algorithm Selection for Circuit QBFs. | Holger H. Hoos, Toms Peitl, Friedrich Slivovsky, Stefan Szeider |
| 2018 | A Large Neighboring Search Schema for Multi-agent Optimization. | Khoi D. Hoang, Ferdinando Fioretto, William Yeoh, Enrico Pontelli, Roie Zivan |