A probabilistic algorithm for k-SAT and constraint satisfaction problems

Schoning, T. · 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) · 2003