New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
scientific article; zbMATH DE number 5312361
scientific article