The complexity of satisfiability problems (1978)

by T J SCHAEFER
Venue:In Proc. 10th Annual ACM Symp. on Theory of Comput. (STOC’78