赫莱内·科拉维扎;米歇尔·鲁赫;帕斯卡·范·亨特利克 CPBPV:用于有界程序验证的约束编程框架。 (英语) Zbl 1213.68173号 约束条件 15,第2期,238-264(2010).MSC公司:第68页第17页 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Collavizza}等人,《约束15》,第2期,238--264(2010年;Zbl 1213.68173) 全文: DOI程序 哈尔
Cheng,Kenil C.K。;罗兰·H·C·雅普。 一种基于MDD的正、负表约束和一些全局约束的广义弧一致性算法。 (英语) Zbl 1204.68188号 约束条件 15,第2期,265-304(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.C.K.Cheng}和\textit{R.H.C.Yap},约束15,No.2,265--304(2010;Zbl 1204.68188) 全文: DOI程序
Jean-Marie,诺曼德;亚历山大·戈德斯特恩;马克·克里斯蒂;弗雷德里克·本哈莫 数值Max-CSP的分枝定界算法。 (英语) Zbl 1209.68095号 约束条件 15,第2期,213-237(2010).MSC公司:第68页第17页 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Normand}等人,《约束15》,第2期,第213--237页(2010年;Zbl 1209.68095) 全文: DOI程序
亚历山大·戈德斯特恩;Laurent Granvilliers 一个新的框架,用于使用解流形快速有效地解析NCSP。 (英语) Zbl 1203.65086号 约束条件 15,第2期,190-212(2010).MSC公司:65H10型 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Goldsztejn}和\textit{L.Granvilliers},约束15,第2号,190--212(2010;Zbl 1203.65086) 全文: DOI程序
彼得·斯图基(Peter J.Stuckey)。(编辑) 特刊:约束编程的原理和实践。根据2008年9月14日至18日在澳大利亚悉尼举行的第14届国际会议(CP 2008)上的发言选出的论文。 (英语) Zbl 1198.68062号 约束条件15,第2期,149-304(2010年)。 MSC公司:68-06 00时25分 PDF格式BibTeX公司 XML格式