An extensible sat-solver (0)

by N Eén, N Sörensson
Venue:in Proceedings of SAT ’03