Olivier Zeyen

According to our database, Olivier Zeyen authored at least 6 papers between 2021 and 2025.

Collaborative distances:

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

2025

Testing Uniform Random Samplers: Methods, Datasets and Protocols.

Olivier Zeyen, Maxime Cordy, Martin Gubri, Gilles Perrouin, Mathieu Acher

CoRR, March, 2025

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

Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher

Proceedings of the 29th ACM International Systems and Software Product Line Conference, 2025

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