On truth-table reducibility to SAT and the di#erence hierarchy over NP (1988)

by S R Buss, L Hay
Venue:in Proceedings of the Structure in Complexity Conference