Özgür阿贡;艾伦·M·弗里希。;伊恩·詹特(Ian P.Gent)。;克里斯托弗·杰斐逊;伊恩·米格尔;彼得·南丁格尔 咒语:根据问题规范自动生成约束模型。 (英语) Zbl 07570882号 Artif公司。智力。 310,文章ID 103751,27 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Ù.Akgün}等人,Artif。智力。310,文章ID 103751,27 p.(2022;Zbl 07570882) 全文: DOI程序
普雷斯特维奇,S.D。;弗洛伊德。;B.奥沙利文。;D.布朗。 基于分类器的约束获取。 (英语) Zbl 1507.68252号 安。数学。Artif公司。智力。 89,编号7,655-674(2021).MSC公司:68T05型 62H30型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Prestwich}等人,Ann.Math。Artif公司。智力。89,编号7,655--674(2021;Zbl 1507.68252) 全文: DOI程序
法律,Yat Chiu;Lee,Jimmy H.M。;吴,May H.C。 置换加权约束满足问题中的冗余建模。 (英语) Zbl 1208.68202号 约束条件 15,第3期,354-403(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.C.Law}等人,《限制条件》15,第3期,354--403(2010;Zbl 1208.68202) 全文: DOI程序
芭芭拉·史密斯。;Jean-François普吉 优美图的约束模型。 (英语) Zbl 1219.05172号 约束条件 15,第1期,64-92(2010).MSC公司:05C78号 PDF格式BibTeX公司 XML格式引用 \textit{B.M.Smith}和\textit{J.-F.Puget},约束15,No.1,64-92(2010;Zbl 1219.05172) 全文: DOI程序
克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 范围和根:用于指定和传播计数和发生约束的两种常见模式。 (英语) Zbl 1186.68432号 Artif公司。智力。 173,第11期,1054-1078(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessiere}等人,Artif。智力。173,第11号,1054-1078(2009年;兹bl 1186.68432) 全文: DOI程序
托尼·曼奇尼;大卫·米卡莱托;法比奥·帕特里齐;马可·卡多利 在CSPLib上评估ASP和商业解决方案。 (英语) Zbl 1179.90287号 约束条件 13,第4期,407-436(2008).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}等人,《约束13》,第4期,407--436(2008;Zbl 1179.90287) 全文: DOI程序
托尼·曼奇尼;马可·卡多利 利用声明性问题规范中的函数依赖性。 (英语) Zbl 1168.68552号 Artif公司。智力。 171,第16-17号,985-1010(2007).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}和\textit{M.Cadoli},Artif。智力。171,编号16--17,985--1010(2007;Zbl 1168.68552) 全文: DOI程序
法律,Yat Chiu;Lee,Jimmy H.M。;芭芭拉·史密斯。 自动生成置换约束满足问题的冗余模型。 (英语) Zbl 1125.68112号 约束条件 12,第4号,469-505(2007).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.C.Law}等人,约束12,No.4,469--505(2007;Zbl 1125.68112) 全文: DOI程序
马可·卡多利;托尼·曼奇尼 通过安全延迟约束自动重新制定规范。 (英语) 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) 全文: DOI程序
艾伦·M·弗里希。;赫尼奇,卜拉欣;克孜尔坦、泽内普;伊恩·米格尔;托比·沃尔什 字典排序约束的传播算法。 (英语) Zbl 1131.68521号 Artif公司。智力。 170,第10号,803-834(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Frisch}等人,Artif。智力。170,第10号,803--834(2006;Zbl 1131.68521) 全文: DOI程序
法律,Y.C。;J.H.M.李。 对称打破了约束满足中值对称的约束。 (英语) Zbl 1103.68813号 约束条件 11,编号2-3,221-267(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.C.Law}和\textit{J.H.M.Lee},约束11,No.2--3,221--267(2006;Zbl 1103.68813) 全文: DOI程序
赫尼奇,卜拉欣;史蒂文·普雷斯特维奇。;叶夫根·塞伦斯基;芭芭拉·史密斯。 覆盖测试问题的约束模型。 (英语) Zbl 1103.68810号 约束条件 第11期,第2-3期,199-219页(2006年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Hnich}等人,《约束11》,第2--3号,199-219(2006;Zbl 1103.68810) 全文: DOI程序