Sat versus unsat (1996)

by O Dubois, P André, Y Boufkhad, J Carlier
Venue:In Second DIMACS Challenge