An Extensible SAT-solver. In: (2004)

by N Een, N Sorensson
Venue:Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science,