扣环

卡扣:一个冲突驱动的答案集解决方案。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参考文献(90篇文章引用)

显示第1到第20个结果,共90个。
按年份排序(引用)
  1. Amendola,Giovanni;Ricca,Francesco;Truszczynski,Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型(2020)
  2. Semenov,Alexander;Otpuschennikov,Ilya;Gribanova,Irina;Zaikin,Oleg;Kochemazov,Stepan:将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用(2020年)
  3. 阿蒙多拉,乔凡尼;多达罗,卡敏;里卡,弗朗西斯科:用更少的资源获得更好的准一致答案集(2019年)
  4. 阿蒙多拉,乔凡尼;里卡,弗朗西斯科;特鲁兹钦斯基,米罗斯劳:超越NP:量化超过答案集(2019)
  5. Mutsunori Banbara;Inoue,Katsumi;Kaufmann,Benjamin;Okimoto,Tenda;Schaub,Torsten;Soh,Takehide;Tamura,Naoyuki;Wanko,Philipp:\ textitespoon:用答案集编程解决基于课程的课程时间表问题(2019年)
  6. Calimeri,Francesco;Ianni,Giovambattista;Pacenza,Francesco;Perri,Simona;Zangari,Jessica:overgrounding的增量答案集编程(2019)
  7. Bernardo Cuteri;Dodaro,Carmine;Ricca,Francesco;Schüller,Peter:ASP程序的部分编译(2019年)
  8. Mario Alviano;Carmine Dodaro;Marco Marotea:答案集编程中的共享聚合集(2018)
  9. Bliem,Bernhard:Treewidth在非基础答案集解决和图中的联盟问题(2018)
  10. Brewka,Gerhard;Ellmouthaler,Stefan;Gonçalves,Ricardo;Knorr,Matthias;Leite,João;Pührer,Jörg:反应性多上下文系统:动态环境中的异构推理(2018)
  11. Dahlem,Marc;Bhagyanath,Anoop;Schneider,Klaus:ASP对具有缓冲处理单元的公开数据路径架构的最优调度(2018)
  12. Frioux,Clémence;Schaub,Torsten;Schellhorn,Sebastian;Siegel,Anne;Wanko,Philipp:混合代谢网络完成(2018年)
  13. Alviano,Mario:通过不满足核心分析在命题限制中的模型枚举(2017)
  14. Mutsunori的Banbara;本杰明的考夫曼;Max的Ostrowski;Torsten的Schaub:\ textitclingcon:下一代(2017)
  15. Dahlem,Marc;Jain,Tripti;Schneider,Klaus;Gillmann,Michael:通过答案集编程自动合成最佳尺寸集中器(2017)
  16. Lierer,Yuliya:什么是命题满足性的答案集编程(2017)
  17. Lindauer,Marius;Hoos,Holger;Leyton Brown,Kevin;Schaub,Torsten:通过算法配置自动构建平行投资组合(2017)
  18. Merhej,Elie;Schockaert,Steven;De Cock,Martine:使用经验法则修复不一致的答案集程序:基因调控网络案例研究(2017)
  19. Polash,医学博士Masbaul Alam;Newton,M.A.Hakim;Sattar,Abdul:所有区间序列的约束定向搜索(2017)
  20. Toda,Takahisa:使用三元决策图实现布尔函数的二元化(2017)