A probabilistic algorithm for k-sat and constraint satisfaction problems. (1999)

by U Schoning
Venue:In 40th IEEE Symposium on Foundations of Computer Science,