On truth-table reducibility to SAT, Information and Computation (1991)

by S R Buss, L HAY
Venue:Proc. London Math. Society