米斯特拉尔 swMATH ID: 31321 软件作者： E.希伯拉德。 说明： Mistral，一个约束满足库。Mistralis是一个用C++编写的开源约束库。在这篇简短的论文中，我们详细描述了两个基于Mistral的约束求解器，它们参加了2008年CSP求解器竞赛。 主页： http://citeseerx.ist.psu.edu/viewdoc/download？doi=10.1.1.175.6571&rep=rep1&type=pdf#page=39 相关软件： 查夫;迷你锌;ILOG时间表;乔科;iZplus公司;CAMA公司;迷你们;FairCORELS公司;UCI-毫升;彗星;微型CP;立方厘米（FD）;OR-醇;奥斯卡;日本石油公司;CPLEX公司;CSP2SAT4J型;JOBSHOP公司;CSPLib数据库;R（右） 引用于： 8文件 全部的 前5名16位作者引用 2 埃曼纽尔·希伯拉德 2 穆罕默德·西亚拉 2 斯特里赫曼（Ofer Strichman） 2 迈克尔·维克斯勒 1 乌尔里奇艾伏特加 1 朱利安·费里 1 甘姆斯，塞巴斯蒂安 1 格里姆斯、迪尔米德 1 Marie-JoséHuguet 1 克利斯朵夫·勒库特 1 劳伦特·米歇尔 1 Peter W.南丁格尔。 1 罗塞尔，奥利维尔 1 皮埃尔·绍斯 1 Marc R.C.van Dongen。 1 帕斯卡·范·亨特利克 4篇连载文章中引用 2 人工智能 1 约束条件 1 信息计算杂志 1 数学规划计算 在2个字段中引用 6 计算机科学（68至XX） 5 运筹学、数学规划（90-XX） 按年份列出的引文