A survey of recent advances in SAT-based formal verification
The impact of branching heuristics in propositional satisfiability algorithms