选择器

此软件的关键字
zbMATH中的参考文献(参考文献 31条 )
Mann,Makai; 威尔逊,阿玛利; 佐哈尔,尤尼; 斯特伦茨,林赛; 艾哈迈德·伊尔凡; 布朗,克里斯托弗; 多诺维克,卡莱布; 古曼,艾莉森; 蒂内利,塞萨尔; Barrett,Clark:Smt Switch:Smt求解的不可知C++API(2021) 特伦丁,帕特里克; 塞巴斯蒂安尼,罗伯托:有符号位向量和浮点数理论的优化模(2021) 乔纳什,马丁; Strejček,Jan:通过位宽度缩减和扩展加速量化比特向量SMT解算器(2020年) 布埃诺,丹尼斯; Sakallah,Karem A.:EUFORIA:使用非预期功能完成软件模型检查(2019年) 特伦丁,帕特里克; 塞巴斯蒂安尼,罗伯托:浮点数理论的优化模(2019) 巴雷特,克拉克; Tinelli,Cesare:可满足性模理论(2018) 程曦; 周敏; 宋晓宇; 顾明; 孙佳光:并行化SMT解决:懒惰分解与调解(2018) 葛存菁; 妈妈,菲菲; 刘、田; 张健; 马旭通:一种新的近似模型计数概率算法(2018) 尼维亚多姆斯基,阿图尔; 斯威塔尔斯基,皮奥特; 西多鲁克,特奥菲尔; Penczek,Wojciech:SMT solvers in action:编码和解决NP和EXPTIME中的选定问题(2018) 查克拉波蒂,上提克; 古普塔,阿什图什; Jain,Rahul:位向量公式中的匹配乘法(2017) 查克拉波蒂,上提克; 哈西达什维利,祖拉布; 塞格,卡尔·约翰H。; 加贾韦利,拉杰库马尔; 哈尔丹卡尔,坦梅; 查塔尼,迪内什; Mistry,Rakesh:单词级验证的符号轨迹评估:理论与实现(2017) 基哈尼,扎卡里亚; 玛丽,布鲁诺; 博博特,弗朗索瓦; Bardin,Sébastien:位向量理论的约束规划方法(2017) 诺普,詹斯; 科瓦茨,劳拉; Zwirchmayr,Jakob:用积极的知识取代猜想:使用符号执行推断经证实的最坏情况下的精确执行时限(2017) 普雷纳,马蒂亚斯; 尼美兹,艾娜; Biere,Armin:反例引导模型合成(2017) 施拉梅尔,彼得; 丹尼尔·克罗宁; 布莱恩,马丁; 马丁斯,鲁本; 泰格,蒂诺; Bienemüller,Tom:嵌入式软件的增量有界模型检查(2017) Surynek,Pavel:基于时间扩展图的协同寻径优化求解命题编码(2017) 伊娜拉,吉瓦娜·普里亚; 辛格,罗希特; Solar Lezama,Armando:位向量解算器领域特定CNF编码器的合成(2016) 科瓦什奈,盖里; 弗里希,安德烈亚斯; Biere,Armin:固定大小位向量逻辑的复杂性(2016) 丹尼尔·克罗宁; 斯特里奇曼:决策程序。 算法观点(2016) 萨里基维,奥利; Heljanko,Keijo:LCTD:LLVM上C程序的测试引导证明(2016)