马丁·布隆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫 线性整数求解的完全终止方法。 （英语） Zbl 1432.68597号 J.塞姆。计算。 100, 102-136 (2020).MSC公司：68瓦30 60年第68季度 68兰特 68伏15 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}等人，J.Symb。计算。100102-136（2020年；Zbl 1432.68597） 全文： 内政部 哈尔
马丁·布隆伯格;马蒂亚斯·弗勒里;西蒙·施瓦兹;克里斯托夫·韦登巴赫 SPASS-SATT公司。CDCL（LA）解算器。 （英语） Zbl 07178972号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11716111-122（2019年）。MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}等人，Lect。注释计算。科学。11716、111-122（2019；Zbl 07178972） 全文： 内政部
马丁·布隆伯格;克里斯托夫·韦登巴赫 线性算术的新技术：立方体和等式。 （英语） Zbl 1377.68128号 形式方法系统。设计。 51，第3期，433-461（2017）.MSC公司：60年第68季度 03B70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}和\textit{C.Weidenbach}，《形式方法系统》。设计。51，No.3，433--461（2017；Zbl 1377.68128） 全文： 内政部 哈尔
马丁·布隆伯格;克里斯托夫·韦登巴赫 LIA约束求解的快速立方体测试。 （英语） Zbl 1475.68337号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9706, 116-132 (2016).MSC公司：68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}和\textit{C.Weidenbach}，莱克特。注释计算。科学。9706116-132（2016；Zbl 1475.68337） 全文： 内政部 哈尔