×
北卡罗来纳州贝尔迪塞努。；孔特让，E。

在CHIP中引入全局约束。 （英语） Zbl 0816.68048号

数学。计算。建模 20，第12号，97-123（1994）.
摘要：本文的目的是展示在约束逻辑编程系统CHIP中，在有限域上引入新的基本约束（例如interfer、diffn、cycle）是如何快速地为一大类难排序、调度、几何布局和车辆路径问题找到好的解决方案的。中间约束允许我们以非常简洁的方式指定排序约束。diffn约束首次允许我们直接表达和解决多维布局问题，其中必须考虑多维对象（例如矩形、平行六面体）之间的非重叠约束。循环约束使我们能够指定一系列尚未使用当前约束逻辑编程语言表示的图分区问题。所有这些新原语的主要优点之一是可以更全局地考虑一组基本约束。最后，我们指出，所有先前的原始约束都大大增强了CHIP系统的能力，使我们能够解决以前约束技术无法解决的现实问题。

引用于45文件

MSC公司：

68N17号 逻辑编程
68平方米 计算机系统环境下的性能评估、排队和调度

关键词：

行程安排；约束逻辑程序设计系统；矩形，平行六面体；图划分问题；CHIP系统

软件：

炸薯条
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}和\textit{E.Contejean}，数学。计算。模型20，No.12，97--123（1994；Zbl 0816.68048）
全文： 内政部

参考文献：

[1] Dincbas，M。；Van Hentenryck，P。；Simonis，H。；阿贡，A。；格拉芙，T。；Berthier，F.，约束逻辑编程语言CHIP，东京。东京，Proc。第五代计算机系统国际会议FGCS-88693-702（1988）
[2] 阿贡，A。；Beldiceanu，N.，CHIP编译器系统概述，法国巴黎。法国巴黎，逻辑程序设计国际会议，775-789（1991年6月）
[3] Jaffar，J。；Lassez，J.-L.，约束逻辑编程，德国慕尼黑。德国慕尼黑，Proc\（14^{th}）ACM交响乐团。论程序设计语言原理（1987）
[4] Jaffar，J。；Maher，M.J.，《约束逻辑编程：一项调查》，《逻辑编程杂志》，19/20，503-581（1994年5月/7月）
[5] Dechter，R。；梅里，I。；Pearl，J.，《时间约束网络》，人工智能，49，61-95（1991）·Zbl 0737.68070号
[6] Baker，K.R.，《排序和调度导论》（1974），威利
[7] Dyckhoff，H.，《切割和包装问题的类型学》，《欧洲运筹学杂志》，44145-159（1990）·Zbl 0684.90076号
[8] 杜威尔第，F。；Tsang，J.P.，Un raisonnement spatial par propagation de containtes，（《国际期刊：Les Systèmes Experts and leurs Applications》（1991），阿维尼翁），297-314
[9] 德贾克斯，P。；Desrochers，M。；Haouari，M.，Les problèmes de tournées avec containtes de fenétres de temps，l’etat de l’art，RAIRO运筹学，24，3，217-244（1990）·Zbl 0704.90045号
[10] Dincbas，M。；Simonis，H。；Van Hentenryck，P.，《解决约束逻辑编程中的car-sequencing问题》，德国慕尼黑。德国慕尼黑，欧洲人工智能会议（ECAI-88），290-295（1988年8月）
[11] Coffin，S.T.，《复杂的多面体解剖世界》（1990），牛津大学出版社
[12] Kung，S.Y。；怀特豪斯，H.J。；Kailath，T.，VLSI和现代信号处理（1985），Prentice-Hall
[13] 阿贡，A。；Beldiceanu，N.，《扩展CHIP以解决复杂的调度和布局问题》，Mathl。计算。建模，17，7，57-73（1993）
[14] Dincbas，M。；Van Hentenryck，P。；Simonis，H。；阿贡，A。；Graf，T.，《CHIP在工业和工程问题中的应用》，田纳西州图拉霍马市图拉霍马市，田纳东州，第一届人工智能和专家系统工业和工程应用国际会议（1988年6月）
[15] 德山，T。；Asano，T。；Tsukiyama，S.，无重叠放置矩形的动态算法，《信息处理杂志》，14，1，30-35（1991）·Zbl 0764.68182号
[16] Billionnet，A。；Costa，M.C。；Sutter，A.，《分配系统的问题》，《技术与科学信息》，8，4，307-337（1989）
[17] 李凯。；Cheng，K.，《关于三维填料》，SIAM J.Compute。，19、5、847-867（1990年10月）·Zbl 0711.68061号
[18] Gehring，H。；Menschner，K。；Meyer，M.，基于计算机的集合装运集装箱包装启发式，《欧洲运筹学杂志》，44，277-288（1990）·兹比尔0684.90084
[19] Sutherland，I.E.，《微管道》，ACM通信，32，6（1989年6月）
[20] 格雷厄姆·R·L。；Knuth，D.E。；Patashnik，O.，《混凝土数学，计算机科学基金会》（1989），Addison-Wesley·Zbl 0668.00003号
[21] Garey，M.R。；Johnson，D.S.，《计算机与难治性》。《NP-完备性理论指南》（1979），弗里曼与柯·Zbl 0411.68039号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。