Wang, Bin; Zhou, Guangyan Super solutions of random \((3 + p)\)-SAT. (English) Zbl 1430.68167 Theor. Comput. Sci. 793, 14-27 (2019). MSC: 68R07 68Q87 PDFBibTeX XMLCite \textit{B. Wang} and \textit{G. Zhou}, Theor. Comput. Sci. 793, 14--27 (2019; Zbl 1430.68167) Full Text: DOI
Zhou, Guangyan; Kang, Rui On the lower bounds of \((1, 0)\)-super solutions for random \(k\)-SAT. (English) Zbl 1415.68213 Int. J. Found. Comput. Sci. 30, No. 2, 247-254 (2019). MSC: 68T20 PDFBibTeX XMLCite \textit{G. Zhou} and \textit{R. Kang}, Int. J. Found. Comput. Sci. 30, No. 2, 247--254 (2019; Zbl 1415.68213) Full Text: DOI