Shin、Ji-Ae;欧内斯特·戴维斯 基于SAT的计划员的流程和持续变化。 (英语) Zbl 1132.68711号 Artif公司。智力。 166,编号1-2194-253(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-A.Shin}和\textit{E.Davis},Artif。因特尔。166,编号1--2,194-253(2005;Zbl 1132.68711) 全文: 内政部
史蒂文·普雷斯特维奇;斯特芬省布列桑 中介系统中查询优化的SAT方法。 (英语) Zbl 1099.68103号 安。数学。Artif公司。智力。 43,编号1-4195-210(2005).MSC公司:68T20型 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Prestwich}和\textit{S.Bressan},Ann.Math。Artif公司。因特尔。43,编号1--4,195-210(2005;Zbl 1099.68103) 全文: 内政部