| 2020 | Phase Transition Behavior in Knowledge Compilation. | Rahul Gupta, Subhajit Roy, Kuldeep S. Meel |
| 2020 | Solving the Group Cumulative Scheduling Problem with CPO and ACO. | Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon |
| 2020 | Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. | Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordstrm, Patrick Prosser, James Trimble |
| 2020 | HADDOCK: A Language and Architecture for Decision Diagram Compilation. | Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve |
| 2020 | A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork. | Begum Genc, Barry O'Sullivan |
| 2020 | A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. | Rmy Garcia, Claude Michel, Michel Rueher |
| 2020 | The Argmax Constraint. | Graeme Gange, Peter J. Stuckey |
| 2020 | Towards Faster Reasoners by Using Transparent Huge Pages. | Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, Andr Schidler |
| 2020 | Breaking Symmetries with RootClique and LexTopSort. | Johannes Klaus Fichte, Markus Hecher, Stefan Szeider |
| 2020 | A Time Leap Challenge for SAT-Solving. | Johannes Klaus Fichte, Markus Hecher, Stefan Szeider |
| 2020 | Treewidth-Aware Quantifier Elimination and Expansion for QCSP. | Johannes Klaus Fichte, Markus Hecher, Maximilian F. I. Kieler |
| 2020 | Aggregation and Garbage Collection for Online Optimization. | Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2020 | DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. | Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi |
| 2020 | On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs. | Toms Dlask, Toms Werner |
| 2020 | Bounding Linear Programs by Constraint Propagation: Application to Max-SAT. | Toms Dlask, Toms Werner |
| 2020 | Generating Random Logic Programs Using Constraint Programming. | Paulius Dilkas, Vaishak Belle |
| 2020 | Watched Propagation of 0-1 Integer Linear Constraints. | Jo Devriendt |
| 2020 | Effective Encodings of Constraint Programming Models to SMT. | Ewan Davidson, zgr Akgn, Joan Espasa, Peter Nightingale |
| 2020 | Strengthening Neighbourhood Substitution. | Martin C. Cooper |
| 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 | Tractable Fragments of Temporal Sequences of Topological Information. | Quentin Cohen-Solal |
| 2020 | Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry. | Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet |
| 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 | Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. | Shaowei Cai, Xindi Zhang |
| 2020 | Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. | Marko Kleine Bning, Philipp Kern, Carsten Sinz |