N.: An extensible SAT-solver (2003)

by N Eén, Sörensson
Venue:of Lecture Notes in Computer Science