尼古拉斯·贝尔迪塞努;卡尔森,Mats;皮埃尔·弗莱纳;贾斯汀·皮尔逊 关于全球约束的具体化。 (英语) Zbl 1328.68192号 约束条件 18,第1期,第1-6期(2013年). 摘要:我们介绍了一个简单的概念,用于系统地导出具体化的全局约束。根据观察,大多数全局约束可以重新定义为总功能约束与易于具体化的约束的结合。 引用于5文件 MSC公司: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 68N17号 逻辑编程 65年第68季度 形式语言和自动机 关键词:全局约束;具体化;重新配方;功能依赖性 软件:迷你们;Gecode公司;锌 PDF格式BibTeX公司 XML格式引用 \textit{N.Beldiceanu}等人,《约束18》,第1期,1--6页(2013年;Zbl 1328.68192) 全文: 内政部 链接 参考文献: [1] Alvarez Divo,C.E.(2011年)。通过约束编程对特征模型进行自动推理。瑞典乌普萨拉大学硕士论文。技术代表IT 11 041。 [2] Beldiceanu,N.、Carlsson,M.、Flener,P.、Pearson,J.(2012年)。关于全球约束的具体化。技术代表T2012:02,瑞典计算机科学研究所。可在http://soda.swedish-ict.se/view/sics报告/ . ·Zbl 1328.68192号 [3] Beldiceanu,N.,Carlsson,M.,Petit,T.(2004)。从约束检查器派生过滤算法。在CP 2004中。LNCS(第3258卷,第107-122页)。斯普林格·Zbl 1152.68539号 [4] Beldiceanu,N.,Carlsson,M.,Rampon,J.X.(2012)。全局约束目录,第2版。(修订版a)。技术代表T2012:03,瑞典计算机科学研究所。 [5] 北卡罗来纳州贝尔迪塞努;Simonis,H.(2011)。约束寻求者:从示例中查找和排序全局约束。J.H.M.Lee(编辑),CP 2011。LNCS(第6876卷)。斯普林格。 [6] Bessière,C.,Katsirelos,G.,Narodytska,N.,Quimper,C.G.,Walsh,T.(2009)。分解所有不同的全局基数和相关约束。IJCAI(第419-424页)。 [7] Feydy,T.、Somogyi,Z.、Stuckey,P.J.(2011)。半具体化和扁平化。J.H.M.Lee(编辑),CP 2011。LNCS(第6876卷,第286-301页)。斯普林格。 [8] Gent,I.P.,Jefferson,C.,Miguel,I.(2006)。仆从:一个快速可伸缩的约束求解器。ECAI 2006(第98–102页)。IOS出版社。 [9] Jefferson,C.、Moore,N.C.A.、Nightingale,P.、Petrie,K.E.(2010年)。在约束编程中实现逻辑连接词。人工智能,1741407-1429·Zbl 1210.68103号 ·doi:10.1016/j.artint.2010.07.001 [10] Lazaar,N.(2011年)。Méthodologie et outil de test,de localization de fautes et de correction automatique des programs as containtes(被禁止的程序)。法国雷恩一大学博士论文。 [11] Marriott,K.,Nethercote,N.,Rafeh,R.,Stuckey,P.J.,de la Banda,M.G.,Wallace,M.(2008)。锌建模语言的设计。约束,13(3),229–267·Zbl 1146.68352号 ·doi:10.1007/s10601-008-9041-4 [12] Pesant,G.(2004)。有限变量序列的正则语言成员约束。M.G.Wallace(编辑),CP 2004。LNCS 2004(第3258卷,第482-495页)。斯普林格·Zbl 1152.68573号 [13] Schulte,C.、Tack,G.、Lagerkvist,M.Z.(2011年)。使用gecode进行建模和编程(3.7.1版)。可从以下位置获得http://www.gecode.org/ . [14] Van Hentenryck,P.和;Deville,Y.(1991)。基数运算符:约束逻辑编程中的一种新的逻辑连接词。ICLP 1991年。麻省理工学院出版社·Zbl 0789.68021号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。