The impact of branching heuristics in propositional satisfiability algorithms
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis