An overview of backtrack search satisfiability algorithms
scientific article; zbMATH DE number 1878969