Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Olivier Zeyen
conf.researchr.org general profile
ICSE 2024 profile
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
Share
x
Wed 18 Dec 18:06