×

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文件
全部的 前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 张明义

按年份列出的引文