Florian Pollitt

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Temporally Extended

Classical Planning

Boolean Optimization

Top Venues

Publications

Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere
Certifying Incremental SAT Solving. LPAR (2024)
Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt
CaDiCaL 2.0. CAV (1) (2024)
Florian Pollitt, Mathias Fleury, Armin Biere
Faster LRAT Checking Than Solving with CaDiCaL. SAT (2023)
Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford
Making Translations to Classical Planning Competitive with Other HTN Planners. AAAI (2022)