扣环

CLASP:一个冲突驱动的答案集求解器。CalpAccess是SooErgFo托管的PoasSCOO项目的一部分。源代码和预编译二进制文件可在PotoScCo下载页上找到。CLAP是(扩展的)正常逻辑程序的答案集求解器。它结合了答案集编程(ASP)的高级建模能力和最新的技术,从布尔约束求解的领域。主CLAP算法依赖于冲突驱动的NOGOLD学习,一种证明了可满足性检查(SAT)非常成功的技术。不像其他学习ASP求解器,CLAP不依赖传统软件,如SAT求解器或任何其他现有的ASP求解器。更确切地说,基于冲突驱动的NoGoLL学习,已经真正开发了用于解决答案集的CLAP。CLAP可以应用于ASP求解器(SMODEL格式,由Gringo输出),作为SAT求解器(基于DIMACS/CNF格式的简化版本),或者作为PB求解器(OPB格式)。


ZBMaCT中的参考文献(90篇文章中引用)

显示结果1至20的90。
按年份排序(引文
  1. Amendola,乔凡尼;里卡,弗朗西斯科;Truszczynski,MiSrave:生成硬随机布尔公式和析取逻辑程序的新模型(2020)
  2. 塞梅诺夫,亚力山大;奥普申尼科夫,伊利亚;Gribanova,伊琳娜;扎金,奥列格;Kochemazov,斯特潘:SAT离散函数算法描述的翻译和密码分析问题的应用(2020)
  3. Amendola,乔凡尼;多达罗,卡迈恩;里卡,弗朗西斯科:更少资源的更好的答案集(2019)
  4. Amendola,乔凡尼;里卡,弗朗西斯科;Truszczynski,MiSrave:超越NP:对答案集的量化(2019)
  5. Banbara,Mutsunori;Inoue,KoMuMi;考夫曼,本杰明;Okimoto,腾达;Suab,TrStand;索赫,TueTu皮;Tamura,Naoyuki;WangKo,Philipp:TexTytTaspon:用回答集编程解决基于课程的排课问题(2019)
  6. Calimeri,弗朗西斯科;IANI,GIOVAMBATISTA;PaChanz,弗朗西斯科;PrRi,Simona;ZangARI,杰西卡:增量回答集编程(2019)
  7. Cuteri,伯纳多;多达罗,卡迈恩;里卡,弗朗西斯科;SCHü勒,彼得:ASP程序的部分编译(2019)
  8. Alviano,马里奥;多达罗,卡迈恩;马拉泰阿,马珂:回答集编程中的共享集合集(2018)
  9. Bliem,伯恩哈德:图中非接地答案集的树宽和图中的联盟问题(2018)
  10. 布雷卡,格哈德;Ellmauthaler,斯特凡;Gang-阿尔维斯,李嘉图;KNOR,马蒂亚斯;莱特,Joango;Pulr,Julrg:反应多语境系统:动态环境中的异质推理(2018)
  11. Dahlem,贾景晖;BaGaYaNATH,Anoop;Schneider,克劳斯:用ASP(2018)处理带缓冲处理单元的裸露数据路径体系的最优调度
  12. Frioux,克劳门斯;肖布,托斯滕;谢尔霍恩,塞巴斯蒂安;西格尔,安妮;万科,Philipp:混合代谢网络完工(2018)
  13. Alviano,马里奥:命题不可数核分析中命题边界的模型枚举(2017)
  14. Banbara,Mutsunori;考夫曼,本杰明;Ostrowski,马克斯;肖布,托斯滕:TexTigCulcCon:下一代(2017)
  15. Dahlem,贾景晖;JAIN,TrTTI;Schneider,克劳斯;Gillmann,米迦勒:用回答集编程自动合成最优尺寸集中器(2017)
  16. Lierler,Yulya:什么是命题集规划命题可满足性(2017)
  17. 林道尔,马吕斯;HoOS,霍格尔;Leyton Brown,凯文;肖布,托斯滕:通过算法配置自动构建平行资产组合(2017)
  18. MeHeJ,Elie;Skokaar,史提芬;De Cock,Martine:用经验法则修复不一致回答集程序:基因调控网络案例研究(2017)
  19. Polash,M.Masbar阿拉姆;牛顿,M. A. Hakim;Star,阿卜杜勒:所有区间序列的约束有向搜索(2017)
  20. Toda,TakHaia:用三元决策图实现布尔函数的二元化(2017)