Published package / CLIR
cook_levin.sat_np_complete_1971
v0.1.0The Complexity of Theorem-Proving Procedures
The Complexity of Theorem-Proving Procedures
| Edition | Language | Events | Materialisation |
|---|---|---|---|
| COOK_1971_STOC | en | adopted · 1971-05-03 | PINNED_UNOFFICIAL_COPY |
There are no revisions within one language: each language edition of this work has a single version, and there is nothing to compare.
Replacement of the act
Not measured: no-edition-boundary.