@文章{zbMATH01523256，作者＝{Janson，Svante和Stamatiou，Yannis C.和Vamvakari，Malvina}，标题={限制随机3-{SAT}}的不满足阈值，FJournal={随机结构与算法}，日志={随机结构算法}，ISSN={1042-9832}，体积={17}，数字={2}，Pages＝{103-116}，年份={2000}，语言={英语}，DOI={10.1002/1098-2418（200009）17:2<103:：AID-RSA2>3.0.CO；2-P}，关键词={03D15,68Q25,03B05,60C05}，zbMATH={1523256}，Zbl={0958.03028}}