This webpage is also available as long version with the bibtex entries (both pages are under construction).
2023 Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Noetzli, Clark W. Barrett and Cesare Tinelli, Automatic Verification of {SMT} Rewrites in Isabelle/HOL SMT Workshop 2023 Abstract Armin Biere, Mathias Fleury, and Florian Pollitt, CaDiCaL_vivinst, IsaSAT, Gimsatul, Kissat, and TabularaSAT Entering the SAT Competition 2023 SAT Competition 2023 system description (not reviewed) Robin Trüby, Mathias Fleury, and Armin Biere, Verifying Floating-Point Commutativity with GRS SAT Competition 2023 benchmarks (not reviewed) Sonja Gurtner, Lucas Klemmer, Mathias Fleury and Daniel Große, Replacing RISC-V Instructions by Others SAT Competition 2023 benchmarks (not reviewed) Mathias Fleury and Peter Lammich, A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) CADE 29 Preprint Springer (OA, upcoming) 29th International Conference on Automated Deduction Florian Politt, Mathias Fleury, and Armin Biere, Efficient Proof Checking with LRAT in CaDiCaL (work in progress) MBMV 23 Preprint Florian Politt, Mathias Fleury, and Armin Biere, Faster LRAT Checking than Solving with CaDiCaL SAT23 Preprint LiPiCS Mathias Fleury and Daniela Kaufmann, Lifespan of SAT techniques POS 23 Pragmatics of SAT 23 Accepted (POS has no proceedings) Armin Biere , Mathias Fleury , Nils Froleyks and Marijn Heule . …