| 2020 | RAT Elimination. | Adrin Rebola-Pardo, Georg Weissenbacher |
| 2020 | A Mechanised Semantics for HOL with Ad-hoc Overloading. | Johannes man Pohjola, Arve Gengelbach |
| 2020 | Stateful Premise Selection by Recurrent Neural Networks. | Bartosz Piotrowski, Josef Urban |
| 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 Rodrguez-Carbonell |
| 2020 | A compositional semantics for Repairable Fault Trees with general distributions. | Ral E. Monti, Carlos E. Budde, Pedro R. D'Argenio |
| 2020 | The Triguarded Fragment with Transitivity. | Emanuel Kieronski, Adam Malinowski |
| 2020 | An ASP-based Approach for Boolean Networks Representation and Attractor Detection. | Tarek Khaled, Belaid Benhamou |
| 2020 | Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions. | Jens Katelaan, Florian Zuleger |
| 2020 | Antiprenexing for WSkS: A Little Goes a Long Way. | Vojtech Havlena, Luks Holk, Ondrej Lengl, Ondrej Vales, Toms Vojnar |
| 2020 | Polynomial Loops: Beyond Termination. | Marcel Hark, Florian Frohn, Jrgen Giesl |
| 2020 | Minimal Modifications of Deep Neural Networks using Verification. | Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet |
| 2020 | NACRE - A Nogood And Clause Reasoning Engine. | Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre |
| 2020 | Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic. | Thibault Gauthier |
| 2020 | A Verified SAT Solver Framework including Optimization and Partial Valuations. | Mathias Fleury, Christoph Weidenbach |
| 2020 | Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard. | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
| 2020 | Induction Models on N. | A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili |
| 2020 | Learning Data Structure Shapes from Memory Graphs. | Jan H. Boockmann, Gerald Lttgen |
| 2020 | Tactic Learning and Proving for the Coq Proof Assistant. | Lasse Blaauwbroek, Josef Urban, Herman Geuvers |
| 2020 | Rotation Based MSS/MCS Enumeration. | Jaroslav Bendk, Ivana Cerna |
| 2020 | Learning What Others Know. | Alexandru Baltag, Sonja Smets |
| 2020 | A typed parallel lambda-calculus via 1-depth intermediate proofs. | Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco |
| 2020 | Finding Small Proofs for Description Logic Entailments: Theory and Practice. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2020 | Parameter Synthesis for Probabilistic Hyperproperties. | Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
| 2018 | Rewriting Environment for Arithmetic Circuit Verification. | Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski |