Опубликованный пакет / CLIR
cook_levin.sat_np_complete_1971
v0.1.0The Complexity of Theorem-Proving Procedures
The Complexity of Theorem-Proving Procedures
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| COOK_1971_STOC | en | adopted · 1971-05-03 | PINNED_UNOFFICIAL_COPY |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.