Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions.
Saved in:
| Title: | Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions. |
|---|---|
| Authors: | Zeyen, Olivier1, olivierzeyen@uni.lu, Cordy, Maxime2, maxime.cordy@uni.lu, Perrouin, Gilles3, gilles.perrouin@unamur.be, Acher, Mathieu4, mathieu.acher@irisa.fr |
| Source: | ICSE: International Conference on Software Engineering; 2024, p322-323, 2p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/3639478.3643097 |
|---|
