An extensible SAT solver (0)

by N Eén, N Sörensson
Venue:in Proceedings of the International Conference on Theory and Applications of Satisfiability Testing, ser. Lecture Notes in Computer Science