The equivalence of theorem proving and the interconnection problem
- 1 September 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGDA Newsletter
- Vol. 5 (3) , 31-36
- https://doi.org/10.1145/1061425.1061430
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Some simplified NP-complete problemsPublished by Association for Computing Machinery (ACM) ,1974
- The complexity of theorem-proving proceduresPublished by Association for Computing Machinery (ACM) ,1971