Randomized algorithms for 3-SAT
scientific article; zbMATH DE number 5133106