Theories for Complexity Classes and their Propositional Translations (2004)
by
Stephen Cook
| Venue: | Complexity of computations and proofs |
| Citations: | 25 - 6 self |
Document Versions
| Theories for Complexity Classes and their Propositional Translations –Stephen Cook — 2004 — Complexity of computations and proofs |
