An extensible SAT solver (2003)

by N Eén, N Sörensson
Venue:In Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT’03