An extensible SAT-solver (0)

by N Sorensson N Een
Venue:Proceedings of SAT-2003 in LNCS 2919