The complexity of satisfiability problems (1978)

by T J Schaefer
Venue:In Proceedings of the 10th Annual ACM Symposium on Theory of Computing