扣环

卡扣:一个冲突驱动的答案集解决方案。clasp是SourceForge的Potasco项目的一部分。源代码和预编译的二进制文件可以在Potasco下载页面上找到。clasp是一个用于(扩展)普通逻辑程序的答案集求解器。它将答案集编程(ASP)的高级建模能力与布尔约束求解领域的最新技术相结合。主要的clap算法依赖于冲突驱动的nogood学习,这是一种非常成功的可满足性检查(SAT)技术。与其他学习ASP解算器不同,clasp不依赖于遗留软件,如SAT解算器或任何其他现有ASP解算器。相反,clap已经真正开发用于基于冲突驱动的nogood学习的答案集解决。clasp可以作为ASP解算器(在SMODELS格式上,作为Gringo的输出)、作为SAT解算器(在DIMACS/CNF格式的简化版本上)或PB解算器(在OPB格式上)。


zbMATH中的参考文献(参考文献93篇文章)

显示结果1到20,共93个。
按年份排序(引用)
  1. 阿尔维亚诺,马里奥;Dodaro,Carmine:不满意的核心分析和最佳稳定模型搜索的聚集(2020)
  2. 阿蒙多拉,乔凡尼;里卡,弗朗西斯科;Truszczynski,Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型(2020)
  3. 比奇勒,曼努埃尔;莫拉克,迈克尔;沃尔特兰,斯特凡:回答集编程的规则优化工具(2020)
  4. 塞门诺夫,亚历山大;奥特普什尼科夫,伊利亚;格里巴诺娃,伊琳娜;扎金,奥列格;Kochemazov,Stepan:将离散函数的算法描述转换为SAT及其在密码分析问题中的应用(2020)
  5. 阿蒙多拉,乔凡尼;多达罗,胭脂红;Ricca,Francesco:用更少的资源获得更好的准一致性答案集(2019年)
  6. 阿蒙多拉,乔凡尼;里卡,弗朗西斯科;Truszczynski,Miroslaw:Beyond NP:量化超过答案集(2019)
  7. 穆苏诺里班巴拉;井上,胜美;考夫曼,本杰明;冈本、藤田;肖布,托尔斯滕;哦,藏起来;田村直佑;Wanko,Philipp:\textiteaspoon:用答案集编程解决基于课程的课程时间表问题(2019年)
  8. 卡利梅里,弗朗西斯科;伊安尼,乔瓦姆巴蒂斯塔;帕森扎,弗朗西斯科;佩里,西蒙娜;Zangari,Jessica:overgrounding的增量答案集编程(2019)
  9. 卡特里,贝尔纳多;多达罗,胭脂红;里卡,弗朗西斯科;Schüller,Peter:ASP程序的部分编译(2019)
  10. 阿尔维亚诺,马里奥;多达罗,胭脂红;Marco,Marco:答案集编程中的共享集合集(2018)
  11. 阿尔维亚诺,马里奥;格雷科,詹鲁吉;Guzzo,Antonella:基于逻辑的代理在社会环境中形成联盟(2018)
  12. Bliem,Bernhard:Treewidth在非基础答案集解决和图中的联盟问题(2018)
  13. 布雷卡,格哈德;艾尔莫塔勒,斯特凡;阿尔维冈,阿尔瓦·里卡塞;克诺尔,马提亚斯;莱特,乔昂;Pührer,Jörg:反应式多上下文系统:动态环境中的异构推理(2018)
  14. 戴勒姆,马克;Bhagyanath,Anoop公司;Schneider,Klaus:ASP对具有缓冲处理单元的公开数据路径架构的最优调度(2018)
  15. 弗里欧,克莱门斯;肖布,托尔斯滕;舍尔霍恩,塞巴斯蒂安;西格尔,安妮;Wanko,Philipp:混合代谢网络完成(2018年)
  16. Alviano,Mario:通过不满足核心分析在命题限制中的模型枚举(2017)
  17. 穆苏诺里班巴拉;考夫曼,本杰明;奥斯特罗夫斯基,马克斯;Schaub,Torsten:\ textticlingcon:下一代(2017)
  18. 戴勒姆,马克;贾恩,特里普蒂;施耐德,克劳斯;Gillmann,Michael:通过答案集编程自动合成最佳尺寸集中器(2017)
  19. Lierer,Yuliya:什么是命题满足性的答案集编程(2017)
  20. 林道尔,马吕斯;霍斯,霍尔格;凯文·莱顿·布朗;Schaub,Torsten:通过算法配置自动构建平行投资组合(2017)