数学卫星

此软件的关键字
zbMATH参考文献(参考
56篇文章
参考, 1标准件 )
Geatti,Luca;Gigante,Nicola;Montanari,Angelo:LTL的基于SAT的单通树形表格系统编码(2019) Morettin,Paolo;Passerini,Andrea;Sebastiani,Roberto:加权模型集成的高级SMT技术(2019年) Cimatti,Alessandro;Griggio,Alberto;Irfan,Ahmed;Roveri,Marco;Sebastiani,Roberto:可满足性的增量线性化与验证模非线性算法与超越函数(2018) Andrea Callia D'Iddio,Michael Huth:Manyopt:通过SMT求解实现混合非线性优化的可扩展工具(2017) 阿尔十四 Teso,Stefano;Sebastianini,Roberto;Passerini,Andrea:结构化学习模块理论(2017) Kovásznai,Gergely;Fröhlich,Andreas;Biere,Armin:固定大小位向量逻辑的复杂性(2016) Barrett,Clark;de Moura,Leonardo;Fontaine,Pascal:可满足模理论的证明(2015) Cimatti,Alessandro;Micheli,Andrea;Roveri,Marco:使用SMT解决具有不确定性的时间问题的强可控性(2015) Sebastianin,Roberto;Tomasi,Silvia:线性合理成本的优化模理论(2015) Cimatti,Alessandro;Mover,Sergio;Tonetta,Stefano:混合系统不变量的无量词编码(2014) Dräger,Klaus;Kwiatkowska,Marta;Parker,David;Qu,Hongyang:概率定时程序的局部抽象精化(2014) Phan,Quoc Sang:符号执行作为DPLL模理论(2014) 谢定宝;卜,雷;赵建华;李宣东:SAT-LP-IIS联合定向路径的线性混合自动机有界可达性分析(2014) Abdulla,Parosh Aziz;Atig,Mohamed Faouzi;Chen,Yu Fang;Leonardson,Carl;Rezine,Ahmed:Memorax,TSO下自动围栏插入的精确和可靠工具(2013) ioport公司 亚历山德罗·西马蒂;阿尔伯托的格里戈;巴斯蒂安·乔斯特的沙夫玛;罗伯托的塞巴斯蒂亚尼:MathSAT5 SMT解算器(2013) Cimatti,Alessandro;Mover,Sergio;Tonetta,Stefano:混合动力系统基于SMT的场景验证(2013) Jovanović,Dejan;Barrett,Clark:小心理论结合(2013) Simmonds,Jocelyn;Ben David,Shoham;Chechik,Marsha:web服务应用程序的监视和恢复(2013) Wintersteiger,Christoph M.;Hamadi,Youssef;De Moura,Leonardo:高效求解量化位向量公式(2013) 詹乃军;王淑玲;赵恒军:混合动力系统的形式化建模、分析与验证(2013)