赫莱内·科拉维扎;米歇尔·鲁赫;帕斯卡·范·亨特利克 CPBPV:用于有界程序验证的约束编程框架。 (英语) Zbl 1213.68173号 约束条件 15,第2期,238-264(2010).MSC公司:68N17号 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Collavizza}等人,《约束15》,第2期,238--264(2010年;Zbl 1213.68173) 全文: 内政部 哈尔
Jean-Marie,诺曼德;亚历山大·戈德斯特恩;马克·克里斯蒂;弗雷德里克·本哈莫 数值Max-CSP的分枝定界算法。 (英语) Zbl 1209.68095号 约束条件 15,第2期,213-237(2010).MSC公司:68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Normand}等人,《约束15》,第2期,第213--237页(2010年;Zbl 1209.68095) 全文: 内政部
菲利波·福卡奇;安德烈·洛迪;米歇拉·米兰 面向优化的全局约束。 (英语) Zbl 1028.68024号 约束条件 7,第3-4号,351-365(2002).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Focacci}等人,约束7,No.3--4,351--365(2002;Zbl 1028.68024) 全文: 内政部
路德维希·克里帕尔;佩德罗·巴拉奥纳 PSICO:用约束编程和优化求解蛋白质结构。 (英语) Zbl 1028.68026号 约束条件 7,编号3-4,317-331(2002).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Krippahl}和\textit{P.Barahona},约束7,No.3--4317--331(2002;Zbl 1028.68026) 全文: 内政部
金·万豪酒店;Chok,Sitt Sen先生 QOCA:用于交互式图形应用程序的约束求解工具包。 (英语) Zbl 1020.68024号 约束条件 7,第3-4、229-254号(2002年).MSC公司:68甲19 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}和\textit{S.Chok},约束7,No.3--4229--254(2002;Zbl 1020.68024) 全文: 内政部
罗兰·H·C·雅普。 带约束的参数化序列对齐。 (英语) Zbl 0976.68065号 约束条件 6,第2-3号,157-172(2001).MSC公司:2005年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.H.C.Yap},约束6,No.2--3,157--172(2001;Zbl 0976.68065) 全文: 内政部
克劳斯·希尔德;尤尔茨,约格 时间触发实时系统的调度。 (英语) Zbl 0967.68022号 约束条件 5,第4期,335-357(2000).MSC公司:68平方米 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.Schild}和\textit{J.Würtz},约束5,No.4,335--357(2000;Zbl 0967.68022) 全文: 内政部
马丁·米勒;约阿希姆·尼伦;安德烈亚斯·波德尔斯基 对要素树上的约束进行排序。 (英语) Zbl 0947.68137号 约束条件 5,编号1-2,7-41(2000).MSC公司:68立方英尺 2012年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Muller}等人,《约束5》,编号1--2,7--41(2000;Zbl 0947.68137) 全文: 内政部
尤金·弗洛伊德。(编辑) 第二届约束规划原则和实践国际会议特刊。美国马萨诸塞州剑桥市,1996年秋季。 (英语) Zbl 0942.00045号 约束条件 4,第2期,97-196(1999).MSC公司:00B25型 68-06 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.C.Freuder}(编辑),约束4,No.2,97--196(1999;Zbl 0942.00045) 全文: 内政部
帕斯卡·范·亨特利克 组合搜索问题的约束编程。 (英语) Zbl 1315.68070号 约束条件 2,第1期,99-101(1997).MSC公司:68甲19 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck},约束2,No.1,99--101(1997;Zbl 1315.68070) 全文: 内政部
曼纽尔·赫尔梅内吉尔多 约束编程的一些挑战。 (英语) 兹比尔1315.68066 约束条件 第2期,第1期,第63-69页(1997年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermenegildo},约束2,No.1,63--69(1997;Zbl 1315.68066) 全文: 内政部
尤金·弗洛伊德。 为了追求圣杯。 (英语) Zbl 1315.68063号 约束条件 第2期,第1期,第57-61页(1997年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \文本{E.C.弗洛伊德},约束2,第1号,57-61(1997;Zbl 1315.68063) 全文: 内政部
丽娜·德希特 桶消除:用于处理硬约束和软约束的统一框架。 (英语) Zbl 1315.68062号 约束条件 第2期,第1期,第51-55页(1997年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Dechter},约束2,No.1,51-55(1997;Zbl 1315.68062) 全文: 内政部
菲利普·科多涅特 约束的虚拟性和虚拟性的约束。 (英语) Zbl 1315.68039号 约束条件 2,第1期,45-49(1997).MSC公司:68甲15 68甲19 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{P.Codognet},约束2,No.1,45-49(1997;Zbl 1315.68039) 全文: 内政部
亚历山大·布罗茨基 约束数据库:有前途的技术还是仅仅是智力练习? (英语) Zbl 1315.68115号 约束条件 2,第1期,35-44(1997).MSC公司:第68页,共15页 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Brodsky},约束2,No.1,35-44(1997;Zbl 1315.68115) 全文: 内政部
帕斯卡·范·亨特利克;萨拉斯瓦特,维杰 约束编程:战略方向。 (英语) Zbl 1315.68071号 约束条件 第2期,第1期,第7-33页(1997年).MSC公司:68甲19 68-02 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}和\textit{V.Saraswat},约束2,No.1,7-33(1997;Zbl 1315.68071) 全文: 内政部
萨拉斯瓦特,维杰(编辑);帕斯卡·范·亨特利克(编辑) 专题介绍。 (英语) Zbl 1314.00120号 约束条件 2,第1期,第5-6页(1997年).MSC公司:00B60号 68-06 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{V.Saraswat}(编辑)和\textit{P.Van Hentenryck}(主编),约束2,No.1,5--6(1997;Zbl 1314.00120) 全文: 内政部