Cook versus Karp-Levin: Separating completeness notions if NP is not small

Autor: Lutz, J. H., Mayordomo, E.
Zdroj: Theoretical Computer Science; 1996, Vol. 164 Issue: 1 p141-164, 24p
Databáze: Supplemental Index