An extensible SAT-solver, in (0)

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