Heavy-tailed phenomena in satisfiability and constraint satisfaction problems (0)

by Carla Gomes, Bart Selman, Nuno Crato, Henry Kautz
Venue:Journal of Automated Reasoning