讽刺

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


zbMATH中的参考文献(参考文献39条)

显示第1到第20个结果,共39个。
按年份排序(引用)
  1. 丹尼尔,勒贝尔;侯爵,皮埃尔;沃伦,罗曼:论PB解决方案的弱化策略(2020年)
  2. 施拉梅尔,彼得;丹尼尔·克罗宁;布莱恩,马丁;马丁斯,鲁本;泰格,蒂诺;Bienemüller,Tom:嵌入式软件的增量有界模型检查(2017)
  3. 德伊塔卢纳,吉勒莫;马西亚罗梅罗,J.Raymundo;Hernández,JoséA:双合取范式的增量可满足性问题(2016)
  4. 丹尼尔·克罗宁;斯特里奇曼:决策程序。算法观点(2016)
  5. 亚历山大·伊夫里;里夫钦,瓦迪姆;Strichman,Ofer:在增量SAT中挖掘主干文字。一种新的增量数据(2015)
  6. 克鲁斯,卡尔;Godoy,Guillem:上下文无关语法的自动评估(系统描述)(2014)
  7. 纳德尔,亚历山大;里夫钦,瓦迪姆;斯特里奇曼,Ofer:最终增量SAT(2014)
  8. 布劳尔,约格;King,Andy:无量词消除的传递函数合成(2012)
  9. 埃格斯格吕什,斯蒂芬;Drechsler,Rolf:高质量测试模式生成和布尔可满足性。(2012年)
  10. 格布瑟,马丁;考夫曼,罗兰;Schaub,Torsten:为有效的ASP规划做好准备(2012)
  11. 纳德尔,亚历山大;里夫钦,瓦迪姆;Strichman,Ofer:增量SAT中的预处理(2012)
  12. 巴雷特,Edd;King,Andy:使用SAT的范围和集合抽象(2010)
  13. 哦,藏起来;井上,胜美;田村直佑;穆苏诺里班巴拉;Nabeshima,Hidetomo:基于SAT的二维条带包装问题解决方法(2010)
  14. 威尔,罗伯特;Drechsler,Rolf:走向可逆逻辑的设计流程(2010)
  15. 德雷克斯勒,R。;埃格斯格吕什,S。;费伊,G。;Tille,D.:使用布尔证明引擎生成测试模式(2009)
  16. 丹尼尔·克罗宁;Strichman,Ofer:可满足模理论框架(2009)
  17. 克里斯蒂安马萨拉吉;秦维安;安德烈,Ştefan;Alaiba,Vasile:业务流程规范和验证的严格方法论(2009)
  18. 费伊,格什温;Drechsler,Rolf:现代设计流程中的健壮性和可用性(2008)
  19. 格什曼,罗曼;科夫曼,玛雅;Strichman,Ofer:一种提取小的不满意核心的方法(2008)
  20. Mouhoub,Malek:增量SAT的系统与局部搜索和GA技术(2008)