Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions
| Title: | Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions |
|---|---|
| Authors: | Zeyen, Olivier; Cordy, Maxime; Perrouin, Gilles; Acher, Mathieu |
| Source: | Proceedings of the 2025 29th ACM International Systems and Software Product Line Conference - Volume A. :149-160 |
| Availability: | http://dl.acm.org/doi/10.1145/3744915.3748473 |
| Database: | ACM Full-Text Collection |