Cook Versus Karp-Levin: Separating Completeness Notions if NP Is Not Small

Theoretical Computer Science - Netherlands
doi 10.1016/0304-3975(95)00189-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV