NPCompletenessProvedIndependentlyBy
P142029
predicate
Indicates that the NP-completeness of a problem was established in a separate, independent proof by the specified agent or source.
Sample triples (1)
| Subject | Object |
|---|---|
| SAT problem | Leonid Levin NERFINISHED ⓘ |