z3型

此软件的关键字
zbMATH中的参考文献(参考文献 590篇 , 1标准件 )
波拿契娜,玛丽亚·保拉; 格雷厄姆·伦格兰德,圣潘; Shankar,Natarajan:理论组合的冲突驱动满足性:引理、模和证明(2022) 弗迪埃,塞斯·费迪南德; 科奇杜珀,尼格拉斯; 阿尔托夫,马提亚斯; Mazo,Manuel:STL规范下非线性连续时间系统的闭式采样数据控制器的形式化综合(2022) Vlk,马雷克; 布雷乔娃,凯特·伊娜; 汉兹列克,兹登涅克; 唐思宇:时间敏感网络中的大规模周期调度(2022) 阿巴西,罗莎; 希夫尔,乔纳斯; 达鲁洛娃,伊娃; 乌尔布里希,马提亚斯; Ahrendt,Wolfgang:KeY中浮点Java程序的演绎验证(2021) 阿玛蒂尼,罗伯托; 恒河,格雷姆; 沙赫特,彼得; 桑德加德,哈拉尔德; Stuckey,Peter J.:动态符号执行的算法选择:初步研究(2021) 安索特吉,卡洛斯; 欧吉达,杰斯; 帕切科,安东尼奥; 庞,约瑟普; 萨尔维亚,约瑟普·M。; 托雷斯,爱德华德:OptiLog:基于SAT系统的框架(2021) 贝克曼,彼得; 吕默,菲利普; Zeljić,Aleksandar:使用未解释谓词和Preburger算法的插值位向量公式(2021) 贝里希,迈克; 查瓦里·维拉雷洛,阿兰; Vargas García,Edith:通过FCA表示分区格(2021) 巴塔查里亚,阿纳布; 古普塔,阿什图什; 库普萨米,拉克什曼; 玛尼,索米亚; 舒克拉,安基特; 斯里瓦斯,曼德亚姆; Thattai,Mukund:预测真核细胞囊泡交通系统新特征的形式方法(2021) 比加雷拉,菲利波; 亚历山德罗·西马蒂; 格里吉奥,阿尔伯托; 艾哈迈德·伊尔凡; 乔纳什,马丁; 罗维里,马可; 塞巴斯蒂安尼,罗伯托; 特伦丁,帕特里克:通过增量线性化优化模非线性算法(2021) 布朗丁,迈克尔; 埃斯帕扎,哈维尔; 杰克斯,斯特凡; Meyer,Philipp J.:人口协议的有效验证(2021) 布朗伯格,马丁; 德拉戈斯特,伊琳娜; 法克赫,拉沙; 菲泽,克里斯托夫; 克鲁兹,马库斯; Weidenbach,Christoph:用于监督验证条件的数据记录锤模简单线性算法(2021) 卡塞兹,弗朗克; 詹森,彼得·居尔; Guldstrand,Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合(2021) 乔斯卡,米兰; 汉塞尔,克里斯蒂安; 荣格,塞巴斯蒂安; Katoen,Joost Pieter:反例引导的概率系统归纳综合(2021) 郑小荣; 昌、油炸; 李大勇; 任正通:一维数据的图形拟合(2021) 亚历山德罗·西马蒂; 格里吉奥,阿尔伯托; Redondi,Gianluca:无量词SMT推理参数系统的通用不变检验(2021) 克莱森,科恩; Lillieström,Ann:在一阶自动推理中处理传递关系(2021) 杜特尔,亚伦; 莫斯卡托,马里亚诺; 蒂托洛,劳拉; 穆尼奥斯,塞萨尔; 安德森,格雷戈里; Bobot,Francisçois:紧凑位置报告算法的形式分析(2021) 埃夫勒,利昂; Gleixner,Ambros:精确有理混合整数规划的计算状态更新(2021) 埃拉·库姆·德瓦利娜(Eraşcu,Mădălina); 米科塔,弗拉维亚; Zaharie,Daniela:使用优化模理论、数学规划和对称破坏在基于组件的应用程序云中的可伸缩优化部署(2021)