海蒂·盖鲍尔;Szabó，蒂博尔;塔尔多斯，加博 SAT的局部引理是渐近紧的。 （英语） Zbl 1426.68121号 美国临床医学杂志 63，第5号，第43条，32页（2016年）. 引用于5文件 MSC公司： 65年第68季度 算法和问题复杂性分析 05C35号 图论中的极值问题 05年40月 极值组合中的概率方法，包括多项式方法（组合Nullstellensatz等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 68卢比 计算机科学中的组合数学 91A60型 概率博弈；赌博 关键词：局部引理;极值组合学;（k）-CNF公式的可满足性 引文：Zbl 1289.68047号;Zbl 1105.91302号 PDF格式BibTeX公司 XML格式引用 \textit{H.Gebauer}等人，J.ACM 63，第5号，第43条，32页（2016年；Zbl 1426.68121） 全文： 内政部 arXiv公司