1. Handbook of Satisfiability,2009
2. The complexity of theorem-proving procedures;Cook,1971
3. Symbolic model checking without BDDs;Biere,1999
4. A tool for checking ANSI-C programs;Clarke,2004
5. SAT-based model checking without unrolling;Bradley,2011