摘要
Apt,K.2003年。 约束编程原理。 剑桥大学出版社,英国剑桥。 谷歌学者 数字图书馆 Baptiste,P.、Le Pape,C.和Nuijten,W.,2001年。 基于约束的调度。 荷兰多德雷赫特Kluwer学术出版社。 谷歌学者 数字图书馆 Beldiceanu,N.、Harvey,W.、Henz,M.、Laburthe,F.、Monfroy,E.、Müller,T.、Perron,L.和Schulte,C.,2000年。 在《实现约束编程系统的技术进展》(TRICS)中。 新加坡国立大学计算机学院技术代表TRA9/00。 谷歌学者 Benhamou,F.1996年。 异构约束求解。 第五届代数和逻辑程序设计国际会议论文集。 计算机科学讲义,第1139卷。 斯普林格·弗拉格,62-76。 谷歌学者 数字图书馆 Carlsson,M.和Beldiceanu,N.,2002年。 重新审视词典排序约束。 技术代表T202-17,瑞典斯德哥尔摩瑞典计算机科学研究所。 谷歌学者 Carlsson,M.、Ottosson,G.和Carlson,B.,1997年。 开放式有限域约束求解器。 第九届程序设计语言:实现、逻辑和程序国际研讨会论文集(PLILP’97)。 计算机科学讲义,第1292卷。 施普林格·维拉格,191年至206年。 谷歌学者 数字图书馆 Chamard,A.、Fischler,A.、Guinaudeau,D.-B.和Guillard,A.,1995年。 CHIC关于CLP方法的课程。 达索航空公司技术代表。 谷歌学者 Choi,C.W.,Harvey,W.,Lee,J.H.-M.和Stuckey,P.J.,2006年。 重温有限域边界一致性。 《人工智能进展学报》(AI2006)。 计算机科学讲义,第4304卷。 斯普林格·弗拉格,49-58。 谷歌学者 数字图书馆 Codognet,P.和Diaz,D.,1996年。 在clp(FD)中编译约束。 J.逻辑程序。 27, 3, 185--226. 谷歌学者 交叉引用 CSPLib。 2006.CSPLib:约束问题库。 http://www.csplib.org。 谷歌学者 杜德尼,H.E.1958。 数学娱乐。 纽约州多佛市。 谷歌学者 Gecode团队。 2006.Gecode:通用约束开发环境。 http://www.gecode.org。 谷歌学者 Gent,I.P.、Jefferson,C.和Miguel,I.2006年。 观察Minion中约束传播的文本。 《第十二届约束编程原理与实践国际会议论文集》,F.Benhamou主编,《计算机科学讲义》,第4204卷。 斯普林格·弗拉格,182-197。 谷歌学者 数字图书馆 Granvilliers,L.和Monfroy,E.,2003年。 通过组合约简实现约束传播。 第19届逻辑程序设计国际会议论文集。 计算机科学讲义,第2916卷。 斯普林格·弗拉格,300-314。 谷歌学者 Harvey,W.2004年。 个人沟通。 谷歌学者 Harvey,W.和Stuckey,P.J.,2003年。 通过更改约束表示改进线性约束传播。 约束8,2,173--207。 谷歌学者 数字图书馆 ILOG S.A.2000年。 ILOG Solver 5.0:参考手册。 真蒂利,法国。 谷歌学者 智能系统实验室。 2004年。SICStus Prolog用户手册,3.11.1。 瑞典计算机科学研究所技术代表,瑞典基斯塔164 29号1263信箱。 谷歌学者 拉伯特,F.2000。 CHOCO:实现CP内核。 在《实现约束编程系统的技术进展》(TRICS)中。 71--85. 谷歌学者 Lagerkvist,M.Z.和Schulte,C.2007年。 增量传播顾问。 《第13届约束编程原理与实践国际会议论文集》,C.Bessière,Ed.计算机科学讲稿。 施普林格·维拉格,409-422。 谷歌学者 数字图书馆 O.Lhomme、A.Gotlieb和M.Rueher,1998年。 区间缩小算法的动态优化。 J.逻辑程序。 37, 1--3, 165--183. 谷歌学者 交叉引用 Mackworth,A.K.1977年。 关系网络的一致性。 人工智能8、1、99——118。 谷歌学者 Marriott,K.和Stuckey,P.J.1998年。 带约束的编程:简介。 麻省理工学院出版社,马萨诸塞州剑桥。 谷歌学者 交叉引用 Mohr,R.和Henderson,T.C.,1986年。 重新检查弧和路径的一致性。 AI 28,225--233。 谷歌学者 数字图书馆 Mohr,R.和Masini,G.1988年。 良好的旧离散松弛。 《第八届欧洲人工智能会议论文集》(ECAI'88),Y.Kodratoff,Ed.Pitmann Publishing,Munich,Germany,651-656。 谷歌学者 Monfroy,E.1990年。 使用“较弱”函数对实数进行约束传播。 第14届ACM应用计算研讨会论文集。 美国医学会,553--559。 谷歌学者 数字图书馆 Moskewicz,M.W.、Madigan,C.F.、Zhao,Y.、Zhang,L.和Malik,S.,2001年。 Chaff:设计一个高效的SAT求解器。 第38届设计自动化会议论文集,(DAC 2001)。 美国医学会,530--535。 谷歌学者 数字图书馆 莫扎特联盟。 1999年,莫扎特编程系统。 www.mozart-oz.org。 谷歌学者 Pesant,G.2004年。 有限变量序列的正则语言成员约束。 《第十届约束编程原理与实践国际会议论文集》,M.Wallace主编,《计算机科学讲义》,第3258卷。 斯普林格·弗拉格,482--495。 谷歌学者 Puget,J.-F.1998年。 alldiff约束的界一致性的快速算法。 《第十五届全国人工智能会议论文集》(AAAI'98)。 AAAI出版社/麻省理工学院出版社,359-366。 谷歌学者 数字图书馆 雷金,J.-C.1994。 CSP中差异约束的过滤算法。 第十二届全国人工智能会议记录。 第1卷。 AAAI出版社,362-367。 谷歌学者 数字图书馆 Saveéant,P.2000。 类型级别的约束减少。 在《实现约束编程系统的技术进展》(TRICS)中。 16--29. 谷歌学者 Schulte,C.和Stuckey,P.J.,2004年。 加快约束传播。 《第十届约束编程原理与实践国际会议论文集》,M.Wallace主编,《计算机科学讲义》,第3258卷。 施普林格·弗拉格,619--633。 谷歌学者 Schulte,C.和Stuckey,P.J.,2005年。 边界和域传播何时会导致相同的搜索空间? ACM事务处理。 程序。 语言系统。 27, 3, 388--425. 谷歌学者 数字图书馆 Van Hentenryck,P.1999年。 OPL优化编程语言。 麻省理工学院出版社,马萨诸塞州剑桥。 谷歌学者 数字图书馆 Van Hentenryck,P.、Saraswat,V.和Deville,Y.,1991年。 cc(FD)中的约束处理。 草案。 谷歌学者 Van Hentenryck,P.、Saraswat,V.和Deville,Y.,1998年。 约束语言cc(FD)的设计、实现和评估。 J.逻辑程序。 37, 1--3, 139--164. 谷歌学者 交叉引用 Van Hentenryck,P.、Simonis,H.和Dincbas,M.,1992年。 使用约束逻辑编程的约束满足。 Artif公司。 英特尔。 58, 113--159. 谷歌学者 数字图书馆 Wallace,M.、Novello,S.和Schimpf,J.,1997年。 Eclipse:约束逻辑编程平台。 英国伦敦帝国学院IC-Parc技术代表。 8月。 谷歌学者 周,N.-F.2006。 在操作规则中编程有限域约束传播器。 理论与实践。 逻辑程序。 6, 5, 483--508. 谷歌学者 数字图书馆
建议
传播求解过程中的动态变量消除 2008年PPDP:第十届ACM SIGPLAN声明性编程原则和实践国际会议记录 约束传播解算器将传播(从变量域中删除不可能的值)与搜索交织在一起。 传播是通过执行传播器(删除值)实现约束(定义不可能的值)来执行的。 为了。。。 边界和域传播何时会导致相同的搜索空间 PPDP’01:第三届ACM SIGPLAN声明性编程原则和实践国际会议记录 本文从搜索空间的角度探讨了两个基于传播的约束系统何时具有相同行为的问题。 我们对原始约束的域和边界传播器的行为进行了分类,并提供了允许。。。