Florent Krasnopol

According to our database¹, Florent Krasnopol authored at least 4 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Model checking with temporal graphs and their derivative.

[DOI]

CoRR, February, 2026

2025

A Modular Splitting Framework for Saturation Theorem Proving.

[DOI]

Arch. Formal Proofs, 2025

Formalizing Splitting in Isabelle/HOL.

[DOI]

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

First-Order Automatic Literal Model Generation.

[DOI]

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024