Abstract
Randomization of complete SAT procedures and heavy-tailed distributions
Bart Selman
Cornell University
No video available
Bart Selman
Cornell University