The \(Multi\)-SAT algorithm
scientific article; zbMATH DE number 1389866
scientific article