Florian Pollitt

According to our database, Florian Pollitt authored at least 15 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Kissat Clause Reduction Version.

Bernhard Gstrein, Florian Pollitt, André Schidler, Mathias Fleury, Armin Biere

Dataset, August, 2025

Learn to Unlearn.

Bernhard Gstrein, Florian Pollitt, André Schidler, Mathias Fleury, Armin Biere

Dataset, April, 2025

Clausal Equivalence Checking Miters and SAT Competition Artifact.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Dataset, April, 2025

Clausal Equivalence Checking Miters and SAT Competition Artifact.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Dataset, April, 2025

CaDiCaL 2.2 System Description Artifact.

Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Armin Biere

Dataset, February, 2025

CaDiCaL 2.2 System Description Artifact.

Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Armin Biere

Dataset, February, 2025

CaDiCaL 2.2 System Description Artifact.

Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Armin Biere

Dataset, February, 2025

Learn to Unlearn.

Bernhard Gstrein, Florian Pollitt, André Schidler, Mathias Fleury, Armin Biere

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Revisiting Clause Vivification.

Florian Pollitt, Mathias Fleury, Armin Biere, Karem A. Sakallah, Marijn Heule, Jiawei Chen, Yonathan Fisseha

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Incremental Inprocessing Rules beyond Resolution.

Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

CaDiCaL 2.0 CAV'24 Tool-Paper Artifact.

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Dataset, April, 2024

Certifying Incremental SAT Solving.

Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

CaDiCaL 2.0.

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Faster LRAT Checking Than Solving with CaDiCaL.

Florian Pollitt, Mathias Fleury, Armin Biere

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022

Making Translations to Classical Planning Competitive with Other HTN Planners.

Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022