编辑配置文件(在新选项卡中打开) 马特奥·马雷斯科蒂 合著者距离 作者ID: 马雷斯科蒂·马特奥 发布日期: 马特奥·马雷斯科蒂 已编制索引的文档: 5出版物自2015年起 合著者: 6位合著者具有5联合出版物 41位合作作者 全部的 前5名合著者 0 单作者的 5 安蒂·E·J·海瓦·里宁。 5 娜塔莎·莎莉吉娜 1 Alt,Leonardo S。 1 马丁·布利查 1 哈娜·乔克勒 1 帕文·萨迪戈娃 系列 领域 5 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 4出版物有被引用11中的次9文件 引用人▼ 年份▼ OpenSMT2:用于多核和云计算的SMT解算器。 Zbl 1475.68438号 安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;莱昂纳多·阿尔特;娜塔莎·莎莉吉娜 7 2016 一种用于属性定向归纳的协作并行化方法。 Zbl 07228511号 马丁·布利查;安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 2 2020 SMTS:分布式可视化约束求解。 兹比尔1415.68197 马特奥·马雷斯科蒂;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 1 2018 用于并行化SMT求解器的搜索空间分区。 Zbl 1471.68244号 安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 1 2015 一种用于属性定向归纳的协作并行化方法。 Zbl 07228511号 马丁·布利查;安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 2 2020 SMTS:分布式可视化约束求解。 Zbl 1415.68197号 马特奥·马雷斯科蒂;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 1 2018 OpenSMT2:用于多核和云计算的SMT解算器。 Zbl 1475.68438号 安蒂·E·J·海瓦·里宁。;马泰奥·马雷斯科蒂;莱昂纳多·阿尔特;娜塔莎·莎莉吉娜 7 2016 用于并行化SMT求解器的搜索空间分区。 Zbl 1471.68244号 安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 1 2015 所有引用出版物 排名前五的出版物 全部的 前5名20位作者引用 5 安蒂·E·J·海瓦·里宁。 5 娜塔莎·莎莉吉娜 三 塞皮德·阿萨迪 三 格里戈里·费迪尤科维奇 2 Alt,Leonardo S。 2 马丁·布利查 1 哈娜·乔克勒 1 伊曼纽尔·德·安吉利斯 1 卡琳·埃文·蒙多萨 1 简·哈尔特曼 1 帕维尔·扬契克 1 科夫罗,简 1 马特奥·马雷斯科蒂 1 达里奥·奥斯图尼 1 爱丽丝·拉斐尔 1 罗密欧·里兹 1 菲利普·吕默 1 V.K.、Hari Govind 1 海克·卫尔海姆 1 马特奥·扎瓦特里 2篇连载文章中引用 2 系统设计中的形式化方法 1 约束条件 在4个字段中引用 9 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文