StarExec公司

此软件的关键字
zbMATH中的参考文献(参考文献 52条 , 1标准件 )
本特坎普,亚历山大; 布兰切特,贾斯敏; 克鲁恩斯,西蒙; Waldmann,Uwe:无lambda高阶逻辑的叠加(2021) 弗雷克,尼尔斯; 海勒,玛丽安; 伊瑟,马库斯; 马尔维萨洛,马蒂; 苏达,马丁:2020年SAT竞赛(2021年) 尼美兹,艾娜; 普雷纳,马蒂亚斯; 雷诺兹,安德鲁; 巴雷特,克拉克; Tinelli,Cesare:关于利用可逆条件求解量化位向量约束(2021) 萨特克利夫:第十届IJCAR自动定理证明系统竞赛——CASC-J10(2021) 萨特克利夫,杰夫; 马丁·德沙奈斯:CADE-28自动定理证明系统竞赛——CASC-28(2021) Vukmirović,佩塔; 本特坎普,亚历山大; Nummelin,Visa:高效的完全高阶统一(2021年) 于金强; 伊格纳蒂耶夫,亚历克赛; 斯图基,彼得J。; Le Bodic,Pierre:通过SAT学习最佳决策集和列表(2021) 哈杜,马尔顿; 霍佐娃,佩特拉; 科瓦茨,劳拉; 肖斯沃尔,约翰内斯; Voronkov,Andrei:叠加推理中的归纳与泛化(2020) Rümmer,Philipp:竞争报告:CHC-COMP-20(2020) 艾哈迈德·巴亚特; Reger,Giles:受限组合统一(2019) 博拉雷拉斯,克里斯蒂娜; 拉拉兹,丹尼尔; 罗德里格斯·卡博内尔,恩里克; 奥利维拉斯,阿尔伯特; Rubio,Albert:求解整数上非线性公式的不完全SMT技术(2019) 约希,苏拉伯; 库马尔,普拉蒂克; 拉奥,苏克拉特; 马丁斯,鲁本:\textsfOpen WBO Inc:不完全加权最大卫星近似策略(2019年) 普利纳,卢卡; Seidl,Martina:2016年和2017年QBF solvers评估(QBFEVAL'16和QBFEVAL'17)(2019年) 罗森,迈克尔; 雷格,贾尔斯:旧的还是重的? 随着年龄/体重形状优雅地衰退(2019年) 雷格,吉尔斯; 里纳,马丁; Suda,Martin:MACE式有限模型发现中的对称避免(2019) 雷格,吉尔斯; Voronkov,Andrei:基于饱和的证据搜索中的归纳法(2019) 雷诺兹,安德鲁; 昆卡,维克托; 蒂内利,塞萨尔; 巴雷特,克拉克; Deters,Morgan:SMT中基于反驳的合成(2019) 舒尔茨,斯蒂芬; 克鲁恩斯,西蒙; Vukmirović,Petar:更快、更高、更强:E2.3(2019年) 萨特克利夫:CADE-27自动定理证明系统竞赛——CASC-27(2019) 奥图,高仁; 哈马纳,Makoto; 广川,脑; 米德尔多普,Aart; 纳格尔,朱利安; 西田、直木; 新塔尼,基拉库; 扎克尔,哈拉尔德:融合竞争2018(2018)