| 2020 | A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. Rémy Garcia, Claude Michel, Michel Rueher |
| 2020 | A Faster Exact Algorithm to Count X3SAT Solutions. Gordon Hoi, Sanjay Jain, Frank Stephan |
| 2020 | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh |
| 2020 | A Time Leap Challenge for SAT-Solving. Johannes Klaus Fichte, Markus Hecher, Stefan Szeider |
| 2020 | A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork. Begum Genc, Barry O'Sullivan |
| 2020 | Aggregation and Garbage Collection for Online Optimization. Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2020 | Bounding Linear Programs by Constraint Propagation: Application to Max-SAT. Tomás Dlask, Tomás Werner |
| 2020 | Breaking Symmetries with RootClique and LexTopSort. Johannes Klaus Fichte, Markus Hecher, Stefan Szeider |
| 2020 | Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble |
| 2020 | Combinatorial Search in CP-Based Iterated Belief Propagation. Behrouz Babaki, Bilel Omrani, Gilles Pesant |
| 2020 | Computing Optimal Decision Sets with SAT. Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic |
| 2020 | Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming. Yannick Carissan, Chisom-Adaobi Dim, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet |
| 2020 | Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks. Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry |
| 2020 | Core-Guided Model Reformulation. Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace |
| 2020 | DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi |
| 2020 | Dashed Strings and the Replace(-all) Constraint. Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2020 | Effective Encodings of Constraint Programming Models to SMT. Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale |
| 2020 | Exact Approaches to the Multi-agent Collective Construction Problem. Edward Lam, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar |
| 2020 | Filtering Rules for Flow Time Minimization in a Parallel Machine Scheduling Problem. Margaux Nattaf, Arnaud Malapert |
| 2020 | Finding the Hardest Formulas for Resolution. Tomás Peitl, Stefan Szeider |
| 2020 | Generating Random Logic Programs Using Constraint Programming. Paulius Dilkas, Vaishak Belle |
| 2020 | HADDOCK: A Language and Architecture for Decision Diagram Compilation. Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve |
| 2020 | In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem. Neng-Fa Zhou |
| 2020 | Large Neighborhood Search for Temperature Control with Demand Response. Edward Lam, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman |
| 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 | 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 | MaxSAT-Based Postprocessing for Treedepth. Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
| 2020 | Omissions in Constraint Acquisition. Dimosthenis C. Tsouros, Kostas Stergiou, Christian Bessiere |
| 2020 | On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs. Tomás Dlask, Tomás Werner |
| 2020 | Parallelization of TSP Solving in CP. Nicolas Isoart, Jean-Charles Régin |
| 2020 | Parity (XOR) Reasoning for the Index Calculus Attack. Monika Trimoska, Sorina Ionica, Gilles Dequen |
| 2020 | Perturbing Branching Heuristics in Constraint Solving. Anastasia Paparrizou, Hugues Wattez |
| 2020 | Phase Transition Behavior in Knowledge Compilation. Rahul Gupta, Subhajit Roy, Kuldeep S. Meel |
| 2020 | Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings Helmut Simonis |
| 2020 | Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. Shaowei Cai, Xindi Zhang |
| 2020 | Pushing Data into CP Models Using Graphical Model Learning and Solving. Céline 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 | Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. Jaroslav Bendík, Ivana Cerná |
| 2020 | RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige |
| 2020 | Solving Satisfaction Problems Using Large-Neighbourhood Search. Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
| 2020 | Solving the Group Cumulative Scheduling Problem with CPO and ACO. Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon |
| 2020 | Strengthening Neighbourhood Substitution. Martin C. Cooper |
| 2020 | The Argmax Constraint. Graeme Gange, Peter J. Stuckey |
| 2020 | The Confidence Constraint: A Step Towards Stochastic CP Solvers. Alexandre Mercier-Aubin, Ludwig Dumetz, Jonathan Gaudreault, Claude-Guy Quimper |
| 2020 | Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey |
| 2020 | Towards Faster Reasoners by Using Transparent Huge Pages. Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler |
| 2020 | Towards Formal Fairness in Machine Learning. Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, João Marques-Silva |
| 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 | Tractable Fragments of Temporal Sequences of Topological Information. Quentin Cohen-Solal |
| 2020 | Treewidth-Aware Quantifier Elimination and Expansion for QCSP. Johannes Klaus Fichte, Markus Hecher, Maximilian F. I. Kieler |
| 2020 | Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry. Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet |
| 2020 | Using Resolution Proofs to Analyse CDCL Solvers. Janne I. Kokkala, Jakob Nordström |
| 2020 | Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. Marko Kleine Büning, Philipp Kern, Carsten Sinz |
| 2020 | Visualizations to Summarize Search Behavior. Ian Howell, Berthe Y. Choueiry, Hongfeng Yu |
| 2020 | Watched Propagation of 0-1 Integer Linear Constraints. Jo Devriendt |
| 2020 | abstractXOR: A global constraint dedicated to differential cryptanalysis. Loïc Rouquette, Christine Solnon |