| Title: |
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling |
| Authors: |
Zeyen, Olivier; Cordy, Maxime; Perrouin, Gilles; Acher, Mathieu |
| Source: |
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :23-32 Apr, 2024 |
| Relation: |
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Database: |
IEEE Xplore Digital Library |