| 2023 | Embedding Intuitionistic into Classical Logic. | Alexander Pluska, Florian Zuleger |
| 2023 | Experiments on Infinite Model Finding in SMT Solving. | Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk |
| 2023 | Analyzing Multiple Conflicts in SAT: An Experimental Evaluation. | Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao |
| 2023 | Collaborative Inference of Combined Invariants. | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
| 2023 | A Fast and Accurate ASP Counting Based Network Reliability Estimator. | Mohimenul Kabir, Kuldeep S. Meel |
| 2023 | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. | Petra Hozzov, Jaroslav Bendk, Alexander Nutz, Yoav Rodeh |
| 2023 | SMT Solving over Finite Field Arithmetic. | Thomas Hader, Daniela Kaufmann, Laura Kovcs |
| 2023 | A Mathematical Benchmark for Inductive Theorem Provers. | Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban |
| 2023 | An excursion to the border of decidability: between two- and three-variable logic. | Oskar Fiuk, Emanuel Kieronski |
| 2023 | Counterfactuals Modulo Temporal Logics. | Bernd Finkbeiner, Julian Siber |
| 2023 | Syntactic computation of Fagin-Halpern conditioning in possibility theory. | Omar Ettarguy, Ahlame Begdouri, Salem Benferhat, Carole Delenne |
| 2023 | Keep me out of the loop: a more flexible choreographic projection. | Lus Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen |
| 2023 | Tighter Abstract Queries in Neural Network Verification. | Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz |
| 2023 | Guiding an Instantiation Prover with Graph Neural Networks. | Karel Chvalovsk, Konstantin Korovin, Jelle Piepenbrock, Josef Urban |
| 2023 | Trace-based Deductive Verification. | Richard Bubel, Dilian Gurov, Reiner Hhnle, Marco Scaletta |
| 2023 | Exploring Partial Models with SCL. | Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
| 2023 | Refining Unification with Abstraction. | Ahmed Bhayat, Konstantin Korovin, Laura Kovcs, Johannes Schoisswohl |
| 2023 | Model Checking Omega-Regular Hyperproperties with AutoHyperQ. | Raven Beutner, Bernd Finkbeiner |
| 2023 | How Much Should This Symbol Weigh? A GNN-Advised Clause Selection. | Filip Brtek, Martin Suda |
| 2023 | An Interactive SMT Tactic in Coq using Abductive Reasoning. | Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett |
| 2023 | Formalization of Algebraic Theorems in PVS (Invited Talk). | Mauricio Ayala-Rincn, Thaynara Arielly de Lima, Andria B. Avelar, Andr Luiz Galdino |
| 2020 | Sensitivity Analysis of Locked Circuits. | Joseph Sweeney, Marijn Heule, Lawrence T. Pileggi |
| 2020 | Models of Concurrent Kleene Algebra. | Alexandra Silva |
| 2020 | Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation. | Jarkko Savela, Emilia Oikarinen, Matti Jrvisalo |
| 2020 | On Reasoning about Access to Knowledge. | Yakoub Salhi |