On truth-table reducibility to SAT and the difference hierarchy over NP

Samuel R. Buss, Louise Hay. On truth-table reducibility to SAT and the difference hierarchy over NP. In Proceedings: Third Annual Structure in Complexity Theory Conference, Georgetown University, Washington, D. C., USA, June 14-17, 1988. pages 224-233, IEEE Computer Society, 1988. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.