Florian Pollitt

PhD Student

Address Florian Pollitt Technische Fakultät University of Freiburg Georges Köhler Allee 51 79110 Freiburg im Breisgau Germany   Office Building 51 (map) Room 01..033 +49 761 203 8143 pollittf@cs.uni-freiburg.de

Biographical Sketch

Publications

2025

Bernhard Gstrein, Florian Pollitt, André Schidler, Mathias Fleury, Armin Biere. Learn to Unlearn.
[ paper | bibtex ]

Florian Pollitt, Mathias Fleury, Armin Biere, Karem Sakallah, Marijn Heule, Jiawei Chen, and Yonathan Fisseha. Revisiting Clause Vivification.
[ paper | bibtex ]

2024

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt. CaDiCaL, Gimsatul, IsaSAT and Kissat Entering the SAT Competition 2024 (not reviewed).
[ paper | bibtex ]

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt. Hardware Equivalence Checking Problems Submitted to the SAT Competition 2024 (not reviewed).
[ paper | bibtex ]

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt. CaDiCaL 2.0.
[ paper | bibtex ]

Florian Pollitt. Reimplications for Parallel Clause Sharing (unpublished Master’s thesis).
[ paper ]

Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere. Certifying Incremental SAT Solving.
[ paper | bibtex ]

Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere. Incremental Proofs for Bounded Model Checking.
[ paper | bibtex ]

2023

Florian Pollitt, Mathias Fleury, Armin Biere. Faster LRAT Checking Than Solving with CaDiCaL.
[ paper | bibtex ]

Armin Biere, Mathias Fleury, Florian Pollitt. CaDiCaL_vivinst, IsaSAT, Gimsatul, Kissat, and TabularaSAT Entering the SAT Competition 2023 (not reviewed).
[ paper | bibtex ]

Florian Pollitt, Mathias Fleury, Armin Biere. Efficient Proof Checking with LRAT in CaDiCaL (Work in Progress).
[ paper | bibtex ]

Talks

Other Links