@收款{zbMATH01775444，作者={Beame、Paul和Karp、Richard和Pitassi、Toniann和Saks、Michael}，Title={关于随机{{\（k\）}}-{CNF}公式}的不可满足性证明的复杂性，BookTitle={98年STOC第30届ACM计算理论年会论文集。美国德克萨斯州达拉斯，1998年5月23日至26日}，国际标准图书编号={0-89791-962-9}，页码={561--571}，年份={1998}，出版商={纽约，NY:ACM，计算机协会}，语言={英语}，关键词={68Q25}，zbMATH={1775444}，Zbl={1028.68067}}