张月玲；张敏；浦、葛光；宋，傅；李建文 走向骨干计算：一种基于贪婪白化的方法。 （英语） Zbl 1462.68177号 AI社区。 31，第3期，267-280（2018）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人，AI Commun。31，第3号，267--280（2018；Zbl 1462.68177） 全文： 内政部
陈文祥；达雷尔·惠特利 使用伪主干分解SAT实例。 （英语） Zbl 1453.68170号 胡斌（编辑）等，组合优化中的进化计算。2017年4月19日至21日，荷兰阿姆斯特丹，2017年第17届欧洲会议，EvoCOP。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10197, 75-90 (2017).MSC公司：68T20型 68兰特 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{W.Chen}和\textit{D.Whitley}，Lect。票据计算。科学。10197，75-90（2017；Zbl 1453.68170） 全文： 内政部
杰罗德·贾格尔；莎莉，登山者；张伟雄 基于整数规划、分枝定界和布尔可满足性的完全简约单倍型推理问题及算法。 （英语） 兹比尔1362.92046 J.离散算法 37, 68-83 (2016).MSC公司：92D10型 65年第68季度 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}等人，J.离散算法37，68--83（2016；Zbl 1362.92046） 全文： 内政部
高勇 数据约简、固定参数可处理性和随机加权CNF可满足性。 （英语） Zbl 1194.68208号 Artif公司。智力。 173，第14号，1343-1366（2009）.MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Y.Gao}，Artif。智力。173，第14号，1343--1366（2009；Zbl 1194.68208） 全文： 内政部
达利拉Boughaci；贝拉伊德·本哈穆；哈比巴·德里亚斯 MAX-SAT问题的分散搜索和遗传算法。 （英语） 兹比尔1140.68062 数学杂志。模型。算法 7，第2期，101-124（2008）.MSC公司：68T20型 68T05型 68周05 PDF格式BibTeX公司 XML格式引用 \textit{D.Boughaci}等人，J.数学。模型。算法7，No.2，101--124（2008；Zbl 1140.68062） 全文： 内政部
马可·卡多利；托尼·曼奇尼 通过安全延迟约束自动重新制定规范。 （英语） Zbl 1131.68096号 Artif公司。智力。 170，编号8-9，779-801（2006）.MSC公司：68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}和\textit{T.Mancini}，Artif。智力。170，编号8--9779--801（2006；Zbl 1131.68096） 全文： 内政部
张伟雄 配置景观分析和主干引导的本地搜索。一： 可满足性和最大可满足性。 （英语） Zbl 1085.68678号 Artif公司。智力。 158，第1期，1-26页（2004年）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang}，艺术。智力。158，第1号，1--26（2004；Zbl 1085.68678） 全文： 内政部