Florian Pollitt

According to our database, Florian Pollitt authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

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