Olivier Zeyen - FORGE 2024

Sun 14 Apr 2024 Lisbon, Portugal

co-located with ICSE 2024

Registered user since Thu 1 Sep 2022

Name:Olivier Zeyen

Affiliation:University of Luxembourg, SnT

Contributions

2024

FormaliSE

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

ICSE

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

Show activities from other conferences

ICSE 2024-profile
View general profile