Sat vs. unsat (1996)

by O Dubois, P Andr'e, Y Boufkhad, J Carlier
Venue:In 2nd DIMACS Implementation Challenge