数学5

mathsat5 SMT解算器。MathSAT是一个长期项目,由FBK-IRST和特伦托大学联合开展,旨在开发和维护用于正式验证(和其他应用)的最先进的SMT工具。MathSAT5是该工具的最新版本。它支持大多数SMT-LIB理论及其组合,并提供许多功能(例如,不饱和核、插值、AllSMT)。MathSAT5在许多方面改进了它的前身MathSAT4,也提供了新的特性:一是大大改进了增量支持,这在SMT应用中至关重要;二是完全支持数组和浮点理论;三是对SMT公式进行完善的SAT式布尔公式预处理;最后,一个允许用户插入他们定制的SAT解算器的框架。MathSAT5是免费提供的,它被用于许多内部项目,以及许多工业合作伙伴。


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共45个。
按年份排序(引用)
  1. Bromberger,Martin;Sturm,Thomas;Weidenbach,Christoph:线性整数求解的一种完整的终止方法(2020)
  2. Holík,Lukáš;Iosif,Radu;Rogalewicz,Adam;Vojnar,Tomš:无限状态系统跟踪包含的抽象精化和反链(2020)
  3. 黄成超;徐明;李志斌:一种基于冲突驱动的电力约束解决方法(2020)
  4. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  5. Marco Bozzano;Cimatti,Alessandro;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  6. 布朗伯格,马丁;弗勒瑞,马蒂亚斯;施瓦兹,西蒙;魏登巴赫,克里斯托夫:SPASS-SATT。CDCL(LA)解决方案(2019年)
  7. Vyskocil,Tomas;Djidjev,Hristo:将优化问题的等式约束嵌入到量子退火器中(2019)
  8. Barrett,Clark;Tinelli,Cesare:可满足模理论(2018)
  9. Brandl,Florian;Brandt,Felix;Eberl,Manuel;Geist,Christian:通过SMT解决方案证明效率和策略性的不相容性(2018)
  10. Bromberger,Martin:从无界线性混合算术问题归结为有界问题(2018)
  11. 程,西;周,民;宋,晓宇;顾,明;孙佳光:并行SMT解决:懒惰分解与调解(2018)
  12. 亚历山德罗·西马蒂(Cimatti)、明(Minh)、米莉(Micheli)、马尔科(Marco)罗维里(Roveri)、大卫·E.:持续时间不可控的强时间计划(2018年)
  13. Giunciglia,Enrico;Marotea,Marco;Pulina,Luca:基于翻译的方法来解决带有偏好的析取时间问题(2018)
  14. Hong,Hoon;Sturm,Thomas:带符号参数多项式不等式组的正解(2018)
  15. Kremer,Gereon;Ábrahám,Erika:用\textbfSMT RAT解决模块化战略SMT(2018)
  16. Lvov,M.;Peschanenko,V.;Letychevskyi,O.;Tarasich,Y.;Baiev,A.:构造线性半代数公式规范形式的算法和工具(2018)
  17. Niewiadomski,Artur;Switalski,Piotr;Sidoruk,Teofil;Penczek,Wojciech:SMT solvers in action:编码和解决NP和EXPTIME中选定的问题(2018)
  18. Zeljić,Aleksandar;Backeman,Peter;Wintersteiger,Christoph M.;Rümmer,Philipp:使用uppsat探索浮点运算的近似值(2018)
  19. Bromberger,Martin;Weidenbach,Christoph:线性算术的新技术:立方体和等式(2017)
  20. Chakraborty,Supratik;Khasidashvili,Zurab;Seger,Carl Johan H.;Gajavelly,Rajkumar;Haldankar,Tanmay;Chhatani,Dinesh;Mistry,Rakesh:单词级验证的符号轨迹评估:理论与实现(2017)

更多出版物请访问:http://mathsat.fbk.eu/publications.html