Florian Pollitt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | Factoring Learned Clauses. | Florian Pollitt, Zachary Battleman, Mathias Fleury, Yakir Vizel, Marijn J. H. Heule, Armin Biere, Randal E. Bryant |
| 2026 | SAT | CaDiCaL 3.0 (Tool Paper). | Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Andr Schidler, Dominik Schreiber, Armin Biere |
| 2025 | SAT | Learn to Unlearn. | Bernhard Gstrein, Florian Pollitt, Andr Schidler, Mathias Fleury, Armin Biere |
| 2024 | CAV | CaDiCaL 2.0. | Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt |
| 2024 | LPAR | Certifying Incremental SAT Solving. | Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere |
| 2023 | SAT | Faster LRAT Checking Than Solving with CaDiCaL. | Florian Pollitt, Mathias Fleury, Armin Biere |
| 2022 | AAAI | Making Translations to Classical Planning Competitive with Other HTN Planners. | Gregor Behnke, Florian Pollitt, Daniel Hller, Pascal Bercher, Ron Alford |