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

Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher

Browse the full SPLC paper archive.