@第{zbMATH02244803条，作者={Franco，John}，Title＝{可满足性算法的典型情况复杂性和阈值现象}，FJournal={离散应用数学}，日志={离散应用数学}，ISSN={0166-218X}，体积={153}，数字={1-3}，页码={89--123}，年份={2005}，语言={英语}，DOI={10.1016/j.dam.2005.05.008}，关键词={68T20,68W05,68Q25}，zbMATH={2244803}，Zbl={1101.68838}}