| | Preview | Author(s) | Title | Type | Issue Date |
| 41 | | Codel, Cayden ; Avigad, Jeremy ; Heule, Marijn | Verified Encodings for SAT Solvers | Inproceedings Konferenzbeitrag | Oct-2023 |
| 42 | | Kiesl-Reiter, Benjamin ; Whalen, Michael W. | Proofs for Incremental SAT with Inprocessing | Inproceedings Konferenzbeitrag | Oct-2023 |
| 43 | | Lam, Kait ; Coughlin, Nicholas | Lift-off: Trustworthy ARMv8 semantics from formal specifications | Inproceedings Konferenzbeitrag | Oct-2023 |
| 44 | | Fazekas, Katalin ; Aman, Goel ; Sakallah, Karem | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols | Inproceedings Konferenzbeitrag | Oct-2023 |
| 5 | | Rozier, Kristin Yvonne ; Shankar, Natarajan ; Tinelli, Cesare ; Vardi, Moshe | Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community | Inproceedings Konferenzbeitrag | Oct-2023 |
| 6 | | Meel, Kuldeep | Distribution Testing: The New Frontier for Formal Methods | Inproceedings Konferenzbeitrag | Oct-2023 |
| 7 | | Bernardes Fernandes Ferreira, Nikson ; Moscato, Mariano ; Titolo, Laura ; Ayala-Rincon, Mauricio | A provably correct floating-point implementation of Well Clear Avionics Concepts | Inproceedings Konferenzbeitrag | Oct-2023 |
| 8 | | Bonacina, Maria Paola | Reasoning about quantifiers in SMT: the QSMA algorithm | Inproceedings Konferenzbeitrag | Oct-2023 |
| 9 | | Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie | Deductive Controller Synthesis for Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 10 | | Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang | Lemmas: Generation, Selection, Application | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
| 11 | | Eisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura | Non-Classical Logics in Satisfiability Modulo Theories | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
| 12 | | Bjørner, Nikolaj ; Fazekas, Katalin | On Incremental Pre-processing for SMT | Inproceedings Konferenzbeitrag | 2-Sep-2023 |
| 13 | | Coutelier, Robin ; Kovács, Laura ; Rawson, Michael ; Rath, Jakob | SAT-Based Subsumption Resolution | Inproceedings Konferenzbeitrag | 2-Sep-2023 |
| 14 | | Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael | Superposition with Delayed Unification | Inproceedings Konferenzbeitrag | 2-Sep-2023 |
| 15 | | Hozzova, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei | Program Synthesis in Saturation | Inproceedings Konferenzbeitrag | 2-Sep-2023 |
| 16 | | Ayala, Pablo ; Naghdi, Shaghayegh ; Nandan, Sreejith P. ; Myakala, Stephen Nagaraju ; Rath, Jakob ; Saito, Hikaru ; Guggenberger, Patrick ; Lakhanlal, Lakhanlal ; Kleitz, Freddy ; Toroker, Maytal Caspary ; Cherevan, Alexey ; Eder, Dominik | The Emergence of 2D Building Units in Metal‐Organic Frameworks for Photocatalytic Hydrogen Evolution: A Case Study with COK‐47 | Article Artikel | 18-Aug-2023 |
| 17 | | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | IPASIR-UP: User Propagators for CDCL | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 18 | | Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters | Inproceedings Konferenzbeitrag | 24-Jul-2023 |
| 19 | | Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James | Positivity Problems for Reversible Linear Recurrence Sequences | Inproceedings Konferenzbeitrag | 5-Jul-2023 |
| 20 | | Kenison, George James ; Kovacs, Laura ; Varonka, Anton | From Polynomial Invariants to Linear Loops | Inproceedings Konferenzbeitrag | Jul-2023 |