Published package / CLIR
cook_levin.sat_np_complete_1971
v0.1.0The Complexity of Theorem-Proving Procedures
| Work | Number | Editions | Fragments |
|---|---|---|---|
| The Complexity of Theorem-Proving Procedures | Proceedings of STOC 1971, pp. 151-158 | 1 | 4 |