Buss, Samuel R.; Krajíček, Jan An application of Boolean complexity to separation problems in bounded arithmetic. (English) Zbl 0799.03066 Proc. Lond. Math. Soc., III. Ser. 69, No. 1, 1-21 (1994). Reviewer: J.Krajíček (Praha) MSC: 03F30 03D15 PDFBibTeX XMLCite \textit{S. R. Buss} and \textit{J. Krajíček}, Proc. Lond. Math. Soc. (3) 69, No. 1, 1--21 (1994; Zbl 0799.03066) Full Text: DOI
Buss, Samuel R.; Hay, Louise On truth-table reducibility to SAT. (English) Zbl 0800.68443 Inf. Comput. 91, No. 1, 86-102 (1991). MSC: 68Q15 68Q25 PDFBibTeX XMLCite \textit{S. R. Buss} and \textit{L. Hay}, Inf. Comput. 91, No. 1, 86--102 (1991; Zbl 0800.68443) Full Text: DOI