Theories for Complexity Classes and their Propositional Translations (2004)

View PDF

Download Links

by Stephen Cook
Venue:Complexity of computations and proofs
Citations:34 - 7 self