讽刺

SATIRE:一种新的增量可满足性引擎。介绍了一种新的可满足性求解器SATIRE,它特别适用于电子设计自动化中的验证和优化问题。SATIRE建立在可满足性研究的最新进展的基础上,包括两个实现更高性能的新特性:一个用于逐步解决相关问题集的工具,以及处理非CNF约束的能力。我们提供了实验证据来证明这些加法对经典可满足性求解器的有效性


zbMATH参考文献(38篇文章引用)

显示结果1到20,共38个。
按年份排序(引用)
  1. Schrammel,Peter;Krooning,Daniel;Brain,Martin;Martins,Ruben;Teige,Tino;Bienmüller,Tom:嵌入式软件的增量有界模型检查(2017)
  2. De Ita Luna,Guillermo;Marcial Romero,J.Raymundo;Hernández,JoséA.:双合取范式的增量可满足性问题(2016)
  3. 丹尼尔·克罗宁;奥弗·斯特里奇曼:决策程序。算法观点(2016)
  4. Ivrii,Alexander;Ryvchin,Vadim;Strichman,Ofer:在增量SAT中挖掘主干文本。一种新的增量数据(2015)
  5. Creus,Carles;Godoy,Guillem:上下文无关语法的自动评估(系统描述)(2014)
  6. 2014年,斯特里曼·纳德姆(Alexander,Richman;最终版:瓦希曼·纳德姆;2014年版)
  7. Brauer,Jörg;King,Andy:无量词消除的传递函数合成(2012)
  8. Eggersglü223;,Stephan;Drechsler,Rolf:高质量测试模式生成和布尔可满足性。(2012年)
  9. Gebser,Martin;Kaufmann,Roland;Schaub,Torsten:为有效的ASP规划做好准备(2012年)
  10. Nadel,Alexander;Ryvchin,Vadim;Strichman,Ofer:增量SAT中的预处理(2012)
  11. Barrett,Edd;King,Andy:使用SAT的范围和集合抽象(2010)
  12. Soh,Takehide;Inoue,Katsumi;Tamura,Naoyuki;Banbara,Mutsunori;Nabeshima,Hidetomo:基于SAT的二维条形包装问题解决方法(2010)
  13. Wille,Robert;Drechsler,Rolf:走向可逆逻辑的设计流程(2010)
  14. Eggler,2009;使用布尔模式;Fedresy,2009
  15. 丹尼尔·克罗宁(Daniel Kroneing);斯特里克曼(Strichman),奥弗(Ofer):可满足性模理论框架(2009)
  16. Masalagiu,Cristian;Chin,Wei Ngan;Andrei,Ştefan;Alaiba,Vasile:业务流程规范和验证的严格方法论(2009)
  17. Fey,Görschwin;Drechsler,Rolf:现代设计流中的健壮性和可用性(2008)
  18. Gershman,Roman;Koifman,Maya;Strichman,Ofer:一种提取小的不满意核心的方法(2008)
  19. Mouhoub,Malek:增量SAT的系统与局部搜索和GA技术(2008)
  20. Amla,Nina;McMillan,Kenneth L.:结合抽象细化和基于SAT的模型检查(2007)