On Truth-Table Reducibility to SAT and the Difference Hierarchy over NP (1987)

by Samuel R. Buss , Louise Hay
Citations:13 - 2 self