An extensible sat-solver (2003)

by N EEN, N SÖRENSSON
Venue:In SAT