Login / Signup
Olivier Zeyen
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Computational Complexity
Preprocessing
Phase Transition
Uniform Sampling
Top Venues
FormaliSE@ICSE
CDC
ICTAC
ICSE Companion
</>
Publications
</>
Olivier Zeyen
,
Maxime Cordy
,
Gilles Perrouin
,
Mathieu Acher
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling.
FormaliSE@ICSE
(2024)
Olivier Zeyen
,
Maxime Cordy
,
Gilles Perrouin
,
Mathieu Acher
Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions.
ICSE Companion
(2024)
Olivier Zeyen
,
Jun Pang
Target Control of Boolean Networks with Permanent Edgetic Perturbations.
CDC
(2022)
Emmanuel Hainry
,
Emmanuel Jeandel
,
Romain Péchoux
,
Olivier Zeyen
ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs.
ICTAC
(2021)