The SAT2002 competition (0)

by L Simon, D Le Berre, E A Hirsch
Venue:Annals of Mathematics and Artificial Intelligence