Cook Versus Karp-Levin: Separating Completeness Notions if NP Is not Small (Extended Abstract).

Jack H. Lutz, Elvira Mayordomo

Browse the full STACS paper archive.