布尔人

Boolector:一种有效的位向量和阵列SMT求解器。Satisfiability Modulo理论(SMT)是一个逻辑公式的可满足性问题,用一阶理论的组合来表示。我们提出的架构和选择特征的布尔,这是一个有效的SMT求解器的无量词自由理论的位向量和数组。它使用术语重写、位爆破来处理位向量,以及根据数组的需求引理。


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

显示结果1至20的27。
按年份排序(引文
  1. BueNo,丹尼斯;Sakallah,Karem A.:EUFROIA:完整的软件模型检查与未解释的功能(2019)
  2. Trentin,帕特里克;Sebastiani,罗伯托:浮点数理论的最优化模(2019)
  3. 巴雷特,克拉克;Tinelli,CeSEAR:可满足性模理论(2018)
  4. 程,奚;周,闽;宋,Xiaoyu;顾,明;孙,夹谷昂:并行化SMT求解:懒惰分解与调和(2018)
  5. 葛晶,马,菲菲;刘,田;张,建;马,Xutong:一种新的近似模型计数概率算法(2018)
  6. Niewiadomski,阿图尔;Switalski,Piotr;SIDORUK,Teofil;PunZek,WojiCe:SMT求解器:编码和解决NP和ExpTimes中的选择问题(2018)
  7. Chakraborty,ExpTalk;Gupta,阿什图什;耆那教,拉胡尔:位向量公式中的匹配乘法(2017)
  8. Chakraborty,Expulk;Khasidashvili,Zurab;Seger,Carl Johan H.;Gajavile,Rajkumar;Haldankar,Tanmay;查塔尼,Dinesh;Misty,RaKeSH:字级验证的符号轨迹评估:理论和实现(2017)
  9. 基哈尼,扎卡里亚;马雷,布鲁诺;BoBOT,弗兰Sou-OIS;巴丁,Se巴斯蒂安:位向量理论的锐化约束编程方法(2017)
  10. Knoop,Jens;KoaCCS,劳拉;ZirrChayar,JakOb:用积极的知识代替猜想:用符号执行推断精确的最坏情况执行时间界限(2017)
  11. Schrammel,彼得;克罗宁,丹尼尔;脑,马丁;马丁斯,Ruben;Tige,Tino;BinmüL勒,Posi:增量嵌入模型的有界模型检验(2017)
  12. SuryNek,帕维尔:基于时间展开图的合作路径寻优完工时间最优解的命题编码(2017)
  13. Inala,Jeevana Priya;Singh,Rohit;Solar LeZaMa,阿曼多:位矢量求解器的特定领域CNF编码器的合成(2016)
  14. Koas-SsNai,Gergely;Fr O'HLICH,安德烈亚斯;Bieor,Armin:固定大小位向量逻辑的复杂性(2016)
  15. 克罗宁,丹尼尔;斯特里曼,Ofer:决策程序。算法的观点(2016)
  16. 萨里基维,Olli;Heljango,Kejo:LCTD:LLVM(2016)上C程序的试验指导证据
  17. 泽尔吉,Aleksandar;温特斯泰格,Christoph M.;R·米默,Philipp:用McSAT(2016)决定位矢量公式
  18. 周,闽;何,飞;王,弓偏航;顾,明;孙,夹谷昂:有界元素的阵列理论及其应用(2014)
  19. 巴雷特,克拉克;威慑,摩根;de Moura,列奥纳多;奥利维拉斯,艾伯特;残肢,亚伦:6年的SMT-COMP(2013)伊波尔特
  20. 约万诺维奇、德扬、巴雷特、克拉克:理论结合要慎重(2013)

进一步的出版物可以在:HTTP//FMV.JKUUAT/Posis/NoXX.HTML