Samuel R. Buss
Samuel R. Buss and Louise Hay.
On truth-table reducibility to SAT.
Information and Computation
, 91(1):86-102, March 1991.
References and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database