Temporal induction by incremental SAT solving (2003)

by N Eén, N Sörensson
Venue:Electr. Notes Theor. Comput. Sci