Olivier Zeyen

According to our database, Olivier Zeyen authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions.

Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling.

Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2022

Target Control of Boolean Networks with Permanent Edgetic Perturbations.

Olivier Zeyen, Jun Pang

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs.

Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux, Olivier Zeyen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021