Florian Pollitt

Orcid: 0009-0001-4337-6919

According to our database1, Florian Pollitt authored at least 5 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2022
2023
2024
0
1
2
3
4
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
CaDiCaL 2.0 CAV'24 Tool-Paper Artifact.
Dataset, April, 2024

Certifying Incremental SAT Solving.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

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

2023
Faster LRAT Checking Than Solving with CaDiCaL.
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.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022


  Loading...