Olivier Zeyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | DivKC: A Divide-and-Conquer Approach to Knowledge Compilation. | Olivier Zeyen, Karim Tit, Maxime Cordy, Gilles Perrouin |
| 2025 | SPLC | Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions. | Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher |
| 2024 | ICSE | Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions. | Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher |
| 2021 | ICTAC | ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs. | Emmanuel Hainry, Emmanuel Jeandel, Romain Pchoux, Olivier Zeyen |