Combining the scalability of local search with the pruning techniques of systematic search
scientific article; zbMATH DE number 1859491