卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 并发约束编程的模型和新兴趋势。 (英语) Zbl 1317.90283号 约束条件 18,第4期,535-578(2013).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,《约束18》,第4期,535--578(2013;Zbl 1317.90283) 全文: 内政部 哈尔
鲁本·马丁斯;Vasco Manquinho公司;林奇,因斯 并行SAT求解概述。 (英语) Zbl 1309.90057号 约束条件 17,第3号,304-347(2012).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{R.Martins}等人,《约束17》,第3期,304--347(2012;Zbl 1309.90057) 全文: 内政部
穹顶,费伦茨;阿诺德·诺伊梅尔 二次约束上的约束传播。 (英语) 兹比尔1208.68200 约束条件 15,第3号,404-429(2010).MSC公司:68T20型 90C20个 PDF格式BibTeX公司 XML格式引用 \textit{F.Domes}和\textit{A.Neumaier},约束15,No.3,404--429(2010;Zbl 1208.68200) 全文: 内政部
赫莱内·科拉维扎;米歇尔·鲁赫;帕斯卡·范·亨特利克 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) 全文: 内政部 哈尔