×

扣环

swMATH标识: 7095
软件作者: 马丁·格布瑟、本杰明·考夫曼、安德烈·诺依曼、托尔斯滕·朔博
说明: 卡扣:一个冲突驱动的答案集解决方案。clasp是SourceForge的Potasco项目的一部分。源代码和预编译的二进制文件可以在Potasco下载页面上找到。clasp是一个用于(扩展)普通逻辑程序的答案集求解器。它将答案集编程(ASP)的高级建模能力与布尔约束求解领域的最新技术相结合。主要的clap算法依赖于冲突驱动的nogood学习,这是一种非常成功的可满足性检查(SAT)技术。与其他学习ASP解算器不同,clasp不依赖于遗留软件,如SAT解算器或任何其他现有ASP解算器。相反,clap已经真正开发用于基于冲突驱动的nogood学习的答案集解决。clasp可以作为ASP解算器(在SMODELS格式上,作为Gringo的输出)、作为SAT解算器(在DIMACS/CNF格式的简化版本上)或PB解算器(在OPB格式上)。
主页: http://www.cs.uni-potsdam.de/clap/
关键词: 钾肥;答案集求解器;ASP
相关软件: 外国佬;保鲜膜;黄蜂;超小卫星;阿萨德;伊克林戈;钾肥;烟雾;C模型;萨齐拉;DLV2型;保鲜膜;L分析;喘息;DLV公司;;徘徊;IDP3公司;葡萄糖;卡扣福利奥2
引用于: 96种出版物
全部的 前5名

被191位作者引用

21 肖布,托尔斯滕H。
16 格布瑟,马丁
10 里卡,弗朗西斯科
9 多达罗,胭脂红
8 简胡南,托米
8 本杰明考夫曼
5 阿尔维亚诺,马里奥
4 阿蒙多拉,乔瓦尼
4 卡利梅里,弗朗西斯科
4 马拉茶,马可
4 庞泰利,恩里科
4 希勒,斯文
博加茨,巴特
波曼森,乔里
德雷舍,克里斯蒂安
芬克,迈克尔
霍斯,霍尔格H。
卡明斯基,罗兰
林道尔,马吕斯
席尔瓦侯爵。
奥斯特罗夫斯基,麦克斯
佩里,西蒙娜
舒勒,彼得
西格尔,安妮
特鲁兹钦斯基,米洛斯ław
Zangari,杰西卡
2 安德烈,本杰明
2 穆苏诺里班巴拉
2 天哪,伯恩哈德
2 戴勒姆,马克
2 多尔蒂,帕特里克
2 多维尔,阿戈斯蒂诺
2 别这样,皮埃尔
2 厄尔登,埃斯拉
2 费伯,沃尔夫冈
2 利昂,尼古拉
2 凯文·莱顿·布朗
2 利勒,尤利娅
2 马雷克,V.维克托
2 安托尼奥莫尔加多
2 尼美拉,伊尔卡N.F。
2 奥卡里宁,埃米利娅
2 帕皮尼,奥黛尔
2 雷梅尔,杰弗里B。
2 施耐德,克劳斯
2 Sérayet,Mariette
2 儿子,崔曹
2 Szałas和Andrzej
2 斯泽德,斯特凡
2 维伯,菲利普
2 沃尔什,托比
2 万科,菲利普
2 沃尔特兰,斯特凡
1 Abseher,迈克尔
1 阿格里奇,约瑟普
1 巴尔杜奇尼,马塞洛
1 巴拉尔,奇塔R。
1 贝克,伯纳德
1 贝莱德,贝莱德
1 Bhagyanath,阿诺
1 比奇勒,曼纽尔
1 比什尔,伯纳德
1 比西亚尼,罗伯托
1 Blockeel,亨德里克
1 布雷卡,格哈德
1 布鲁努赫,莫里斯
1 卡拉提,马可
1 查沃特,Günther
1 科莱,纪尧姆
1 库特里,贝尔纳多
1 达尔帕尔,亚历山德罗
1 德卡特,兄弟
1 德考克,马丁尼
1 德普特,斯蒂夫
1 德格兰德,詹姆斯P。
1 Denecker,马克
1 杜斯伯格,弗雷德里科
1 德沃夏克,史蒂夫
1 朱拉杰,朱拉杰
1 Eduati,Federica公司
1 艾特,托马斯
1 伊尔哈提卜,奥马尔
1 艾尔莫塔勒,斯特凡
1 伊薇儿,达米安
1 费希特,约翰内斯克劳斯
1 菲奥里尼,保罗
1 福米萨诺,安德里亚
1 弗雷谢特,亚历山德拉
1 弗里欧,克莱门斯
1 达斯卡,戴维德
1 甘巴,埃米利奥
1 加斯泰格,菲利普
1 盖尔方德,迈克尔
1 吉尔曼,迈克尔
1 格拉斯,迈克尔S。
1 冈萨尔维斯,里卡多
1 格拉萨,安娜
1 格雷科,詹路易吉
1 格雷科,塞尔吉奥
1 格雷尔,苏珊娜
…还有91位作者

按年份列出的引文