Clingcon公司 swMATH ID: 9892 软件作者: 马丁·格布瑟;马克斯·奥斯特罗斯基;托尔斯滕·绍布 描述: Clingcon是一款混合求解器,结合了单片答案集求解器Clingo和CSP求解器Gecode。Clingcon是(扩展)约束常规逻辑程序的答案集求解器。它将答案集编程(ASP)的高级建模能力与约束求解相结合。在逻辑程序中可以使用对非线性有限整数的约束。主紧贴con算法采用SMT的最新技术,并使用冲突驱动学习和理论传播来求解CSP。 主页: http://www.cs.uni-potsdam.de/cleancon网站/ 相关软件: 克林戈;扣环;格林戈;ezcsp公司;WASP公司;超小卫星;Potassco公司;DLV-EX公司;Lparse(L解析);亚萨特;糠;GASP公司;斯莫德尔斯;罗索·克林戈;DLV2型;ASPMT2SMT公司;数据日志;糖;PDDL公司;中国科学院科学院 引用于: 39文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 执着的人:下一代。 Zbl 1379.68040号穆苏诺里·班巴拉;本杰明·考夫曼;马克斯·奥斯特罗斯基;托尔斯滕·绍布 2017 全部的 前5名72位作者引用 8 托尔斯滕·绍布(Torsten H.Schaub)。 5 马塞洛·巴尔杜奇尼 5 马克斯·奥斯特罗斯基 4 卡明·多达罗 4 马丁·格布瑟 三 克里斯蒂安·德雷舍尔 三 托马斯·艾特 三 汤米·詹胡宁 三 本杰明·考夫曼 三 尤利亚·利勒 三 马可·马拉提亚 三 克里斯托夫·雷德尔 2 华金·阿里亚斯 2 穆苏诺里·班巴拉 2 曼纽尔·卡罗 2 德卡特,布罗斯 2 迈克尔·芬克 2 戈帕尔·古普塔 2 马蒂·Järvisalo 2 罗兰·卡明斯基 2 托马斯·克伦瓦尔纳 2 Niemelä,Ilkka N.F。 2 埃米利亚·奥伊卡里宁 2 弗朗西斯科·里卡 2 塞巴斯蒂安·谢尔霍恩 2 彼得·舒勒 2 特鲁什琴斯基,米洛斯奥 2 托比·沃尔什 2 菲利普·旺科 1 马里奥·阿尔维亚诺 1 雷汉·阿卜杜勒·阿齐兹 1 迈克尔·巴塞洛缪 1 克里斯托弗·贝亚特里克斯 1 里卡多·贝尔托卢奇 1 巴特·博加特 1 莫里斯·布吕诺格 1 阿莱西奥·卡皮塔内利 1 杰弗里·楚 1 贝尔纳多·卡特里 1 沃尔夫·德·沃尔夫 1 弗里克斯,克莱门斯 1 劳伦特·加西亚 1 劳拉·佐丹奴 1 乔瓦姆巴蒂斯塔·伊安尼 1 井上,Katsumi 1 托比亚斯·卡明斯基 1 艾米丽·勒布朗(Emily C.Leblanc)。 1 Lee,Joohyng先生 1 克莱尔·莱夫雷 1 尼古拉·利昂 1 林方珍 1 刘旭东 1 丹尼尔·马加泽尼 1 凯尔·马普尔 1 阿尔贝托·马泰利 1 富尔维奥·马斯特罗吉奥瓦尼 1 安德烈亚·皮亚诺 1 埃尔默·萨拉扎 1 安妮·西格尔 1 苏,武藏 1 斯皮奥塔,马特奥 1 伊戈尔·斯特芬 1 彼得·詹姆斯·斯塔基 1 铃木田村 1 塞塞迪尔·杜普雷,丹尼尔 1 塞波·特尔马 1 毛罗·瓦拉蒂 1 王一松 1 马蒂亚斯·维塞 1 你,嘉慧 1 袁丽燕 1 张明义 3篇连载文章中引用 19 逻辑程序设计理论与实践 6 人工智能 1 数学与人工智能年鉴 在4个字段中引用 39 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文