Olivier Zeyen -

Registered user since Thu 1 Sep 2022

Name:Olivier Zeyen

Contributions

2024

FormaliSE

Author of Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling within the FormaliSE 2024-track

ICSE

Author of Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions within the Posters-track