70968752

a

70968752 Schaefer, Thomas J. The complexity of satisfiability problems STOC, 216-226 (1978). 1978 EN

doi:10.1145/800133.804350