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

by Uwe Schöning , Universität Ulm , Abteilung Theoretische Informatik
Venue:In Proceedings of the 40th Annual IEEE Symposium on Foundations of Computer Science, FOCS'99
Citations:130 - 4 self