| 2021 | Building High Strength Mixed Covering Arrays with Constraints. | Carlos Anstegui, Jesus Ojeda, Eduard Torres |
| 2021 | Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles. | Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
| 2020 | In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem. | Neng-Fa Zhou |
| 2020 | Computing Optimal Decision Sets with SAT. | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic |
| 2020 | Omissions in Constraint Acquisition. | Dimosthenis C. Tsouros, Kostas Stergiou, Christian Bessiere |
| 2020 | Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks. | Rodothea-Myrsini Tsoupidi, Roberto Castaeda Lozano, Benoit Baudry |
| 2020 | Parity (XOR) Reasoning for the Index Calculus Attack. | Monika Trimoska, Sorina Ionica, Gilles Dequen |
| 2020 | Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. | Buser Say, Jo Devriendt, Jakob Nordstrm, Peter J. Stuckey |
| 2020 | abstractXOR: A global constraint dedicated to differential cryptanalysis. | Loc Rouquette, Christine Solnon |
| 2020 | Towards a Generic Interval Solver for Differential-Algebraic CSP. | Simon Rohou, Abderahmane Bedouhene, Gilles Chabert, Alexandre Goldsztejn, Luc Jaulin, Bertrand Neveu, Victor Reyes, Gilles Trombettoni |
| 2020 | MaxSAT-Based Postprocessing for Treedepth. | Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
| 2020 | Finding the Hardest Formulas for Resolution. | Toms Peitl, Stefan Szeider |
| 2020 | Perturbing Branching Heuristics in Constraint Solving. | Anastasia Paparrizou, Hugues Wattez |
| 2020 | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh |
| 2020 | Filtering Rules for Flow Time Minimization in a Parallel Machine Scheduling Problem. | Margaux Nattaf, Arnaud Malapert |
| 2020 | The Confidence Constraint: A Step Towards Stochastic CP Solvers. | Alexandre Mercier-Aubin, Ludwig Dumetz, Jonathan Gaudreault, Claude-Guy Quimper |
| 2020 | Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. | Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang |
| 2020 | Core-Guided Model Reformulation. | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace |
| 2020 | Exact Approaches to the Multi-agent Collective Construction Problem. | Edward Lam, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar |
| 2020 | Large Neighborhood Search for Temperature Control with Demand Response. | Edward Lam, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman |
| 2020 | Using Resolution Proofs to Analyse CDCL Solvers. | Janne I. Kokkala, Jakob Nordstrm |
| 2020 | Parallelization of TSP Solving in CP. | Nicolas Isoart, Jean-Charles Rgin |
| 2020 | Towards Formal Fairness in Machine Learning. | Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, Joo Marques-Silva |
| 2020 | Visualizations to Summarize Search Behavior. | Ian Howell, Berthe Y. Choueiry, Hongfeng Yu |
| 2020 | A Faster Exact Algorithm to Count X3SAT Solutions. | Gordon Hoi, Sanjay Jain, Frank Stephan |