The Complexity of Satisfiability Problems (1978)

by T Schaefer
Venue:In Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC’78