The complexity of satisfiability problems (1978)

by T Schaefer
Venue:In Conference Record of the 10th Annual ACM Symposium on Theory and Computing (STOC