编辑配置文件(在新选项卡中打开) 马丁·布隆伯格 合著者距离 作者ID: bromberger.martin公司 发布日期: 马丁·布隆伯格 编入索引的文档: 12出版物自2015年起 合著者: 12位合著者具有11联合出版物 171联合作者 全部的 前5名合著者 1 单作者的 11 克里斯托夫·韦登巴赫 2 洛伦兹·勒特盖布 2 托马斯·斯特姆 1 马丁·德沙奈斯 1 伊琳娜·德拉古斯特 1 拉沙·法奎 1 费策,克里斯托夫 1 阿尔贝托·菲奥里 1 马蒂亚斯·弗勒里 1 查亚特·贾恩 1 马库斯·科洛奇 1 西蒙·施瓦兹 系列 1 符号计算杂志 1 系统设计中的形式化方法 领域 12 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用39中的次24文件 引用人▼ 年份▼ 通过理论上的简单子句学习确定有界差分约束上的Bernays-Schoenfinkel片段。 Zbl 1472.03024号 马丁·布隆伯格;阿尔贝托·菲奥里;克里斯托夫·韦登巴赫 10 2021 重新访问线性整数算法。 Zbl 1432.68596号 马丁·布隆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫 9 2015 LIA约束求解的快速立方体测试。 Zbl 1475.68337号 马丁·布隆伯格;克里斯托夫·韦登巴赫 6 2016 SPASS-SATT公司。CDCL(LA)解算器。 Zbl 07178972号 马丁·布隆伯格;马蒂亚斯·弗勒里;西蒙·施瓦兹;克里斯托夫·韦登巴赫 4 2019 监督员验证条件模简单线性算法的数据记录锤。 Zbl 07497913号 马丁·布隆伯格;伊琳娜·德拉古斯特;拉沙·法奎;费策,克里斯托夫;马库斯·科洛奇;克里斯托夫·韦登巴赫 三 2021 BS(LRA)条款的有效包容测试管道。 Zbl 07628186号 马丁·布隆伯格;洛伦茨,Leutgeb;克里斯托夫·韦登巴赫 三 2022 线性算术的新技术:立方体和等式。 Zbl 1377.68128号 马丁·布隆伯格;克里斯托夫·韦登巴赫 2 2017 将无界线性混合算术问题简化为有界问题。 Zbl 1511.68243号 马丁·布隆伯格 1 2018 线性整数求解的完全终止方法。 Zbl 1432.68597号 马丁·布隆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫 1 2020 BS(LRA)条款的有效包容测试管道。 Zbl 07628186号 马丁·布隆伯格;洛伦兹·勒特盖布;克里斯托夫·韦登巴赫 三 2022 通过理论上的简单子句学习确定有界差分约束上的Bernays-Schoenfinkel片段。 Zbl 1472.03024号 马丁·布隆伯格;阿尔贝托·菲奥里;克里斯托夫·韦登巴赫 10 2021 监督员验证条件模简单线性算法的数据记录锤。 Zbl 07497913号 马丁·布罗姆伯格;伊琳娜·德拉古斯特;拉沙·法奎;克里斯托夫·费泽尔;马库斯·科洛奇;克里斯托夫·韦登巴赫 三 2021 线性整数求解的完全终止方法。 兹比尔1432.68597 马丁·布隆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫 1 2020 SPASS-SATT公司。CDCL(LA)解算器。 Zbl 07178972号 马丁·布罗姆伯格;马蒂亚斯·弗勒里;西蒙·施瓦兹;克里斯托夫·韦登巴赫 4 2019 将无界线性混合算术问题简化为有界问题。 Zbl 1511.68243号 马丁·布隆伯格 1 2018 线性算术的新技术:立方体和等式。 Zbl 1377.68128号 马丁·布隆伯格;克里斯托夫·韦登巴赫 2 2017 LIA约束求解的快速立方体测试。 Zbl 1475.68337号 马丁·布隆伯格;克里斯托夫·韦登巴赫 6 2016 重新访问线性整数算法。 Zbl 1432.68596号 马丁·布隆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫 9 2015 所有引用出版物 前5名被引用出版物 全部的 前5名44位作者引用 16 克里斯托夫·韦登巴赫 11 马丁·布隆伯格 三 亨德里克·莱丁格 三 托马斯·斯特姆 2 艾丽卡·阿尔布拉汉姆 2 蔡少伟 2 阿尔贝托·菲奥里 2 洛伦兹·勒特盖布 2 李伯翰 2 张新迪 1 约翰·A·阿伯特。 1 贝恩德·贝克尔 1 安娜·玛丽亚·比加蒂 1 尼古拉·比约纳。 1 玛丽亚·保拉(Maria Paola Bonacina) 1 布莱恩,马丁 1 简报,亚斯敏 1 布赫伯格,布鲁诺 1 亚历山德罗·西马蒂 1 克里斯蒂亚,马克西米利亚诺 1 詹姆斯·哈罗德·达文波特 1 马丁·德沙奈斯 1 伊琳娜·德拉古斯特 1 英格兰,马修 1 拉沙·法奎 1 卡塔林·法泽卡斯 1 克里斯托夫·费泽尔 1 马蒂亚斯·弗勒里 1 帕斯卡·方丹 1 史蒂芬·福雷斯特 1 圣菲省格拉汉·伦格兰德 1 阿尔贝托·格里乔 1 黄成超 1 查亚特·贾恩 1 基里恩·克莱默 1 丹尼尔·科宁 1 马库斯·科洛奇 1 李志斌 1 吉安弗兰科·罗西 1 西蒙·施瓦兹 1 Werner M.塞勒。 1 Natarajan Shankar 1 索菲·托雷特 1 徐明 全部的 前5名6篇连载文章中引用 4 自动推理杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 符号计算杂志 1 系统设计中的形式化方法 1 ACM计算逻辑汇刊 1 Sapientiae大学学报。Informatica公司 在3个字段中引用 24 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 按年份列出的引文