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

Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher

Browse the full ICSE paper archive.