[ACM Press the tenth annual ACM symposium - San Diego, California, United States (1978.05.01-1978.05.03)] Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 - The complexity of satisfiability problems
Schaefer, Thomas J.Year:
1978
Language:
english
DOI:
10.1145/800133.804350
File:
PDF, 1.05 MB
english, 1978