数学5

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


zbMATH中的参考文献(参考 44篇文章 参考,1标准件)

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

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