| 2020 | A Mechanised Semantics for HOL with Ad-hoc Overloading. Johannes Åman Pohjola, Arve Gengelbach |
| 2020 | A Verified SAT Solver Framework including Optimization and Partial Valuations. Mathias Fleury, Christoph Weidenbach |
| 2020 | A compositional semantics for Repairable Fault Trees with general distributions. Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio |
| 2020 | A typed parallel lambda-calculus via 1-depth intermediate proofs. Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco |
| 2020 | An ASP-based Approach for Boolean Networks Representation and Attractor Detection. Tarek Khaled, Belaid Benhamou |
| 2020 | Antiprenexing for WSkS: A Little Goes a Long Way. Vojtech Havlena, Lukás Holík, Ondrej Lengál, Ondrej Vales, Tomás Vojnar |
| 2020 | Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions. Jens Katelaan, Florian Zuleger |
| 2020 | Coloring Unit-Distance Strips using SAT. Peter Oostema, Ruben Martins, Marijn Heule |
| 2020 | Decision levels are stable: towards better SAT heuristics. Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell |
| 2020 | Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic. Thibault Gauthier |
| 2020 | Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard. Mnacho Echenim, Radu Iosif, Nicolas Peltier |
| 2020 | Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation. Jarkko Savela, Emilia Oikarinen, Matti Järvisalo |
| 2020 | Finding Small Proofs for Description Logic Entailments: Theory and Practice. Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2020 | Induction Models on N. A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili |
| 2020 | LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. Elvira Albert, Laura Kovács |
| 2020 | Learning Data Structure Shapes from Memory Graphs. Jan H. Boockmann, Gerald Lüttgen |
| 2020 | Learning What Others Know. Alexandru Baltag, Sonja Smets |
| 2020 | Minimal Modifications of Deep Neural Networks using Verification. Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet |
| 2020 | Models of Concurrent Kleene Algebra. Alexandra Silva |
| 2020 | NACRE - A Nogood And Clause Reasoning Engine. Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre |
| 2020 | On Reasoning about Access to Knowledge. Yakoub Salhi |
| 2020 | Parameter Synthesis for Probabilistic Hyperproperties. Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
| 2020 | Polynomial Loops: Beyond Termination. Marcel Hark, Florian Frohn, Jürgen Giesl |
| 2020 | RAT Elimination. Adrián Rebola-Pardo, Georg Weissenbacher |
| 2020 | Rotation Based MSS/MCS Enumeration. Jaroslav Bendík, Ivana Cerna |
| 2020 | Sensitivity Analysis of Locked Circuits. Joseph Sweeney, Marijn Heule, Lawrence T. Pileggi |
| 2020 | Stateful Premise Selection by Recurrent Neural Networks. Bartosz Piotrowski, Josef Urban |
| 2020 | Tactic Learning and Proving for the Coq Proof Assistant. Lasse Blaauwbroek, Josef Urban, Herman Geuvers |
| 2020 | The Triguarded Fragment with Transitivity. Emanuel Kieronski, Adam Malinowski |