An extensible SAT-solver (0)

by N Een, N Sörensson
Venue:Proc. SAT ’03