The SAT 2002 competition (0)

by Laurent Simon, Daniel Le Berre, E Hirsch
Venue:Annals of Mathematics and Artificial Intelligence(AMAI