Target Control of Boolean Networks with Permanent Edgetic Perturbations
Zeyen, Olivier, Pang, Jun
Published in 2022 IEEE 61st Conference on Decision and Control (CDC) (06.12.2022)
Published in 2022 IEEE 61st Conference on Decision and Control (CDC) (06.12.2022)
Get full text
Conference Proceeding
Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions
Zeyen, Olivier, Cordy, Maxime, Perrouin, Gilles, Acher, Mathieu
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (14.04.2024)
Get full text
Conference Proceeding
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling
Zeyen, Olivier, Cordy, Maxime, Perrouin, Gilles, Acher, Mathieu
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)
Get full text
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)
Conference Proceeding