SAT versus UNSAT (1996)

by O Dubois, P Andre, Y Boufkhad, J Carlier
Venue:Cliques, Coloring, and Sati ability, volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science