马丁·布罗姆伯格;伊琳娜·德拉古斯特;Faqeh，拉沙;费策，克里斯托夫;马库斯·科洛奇;克里斯托夫·韦登巴赫 一种用于监督器验证条件的Datalog锤子，采用简单线性运算。 （英语） Zbl 07497913号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 3-24 (2021).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}等人，Lect。注释计算。科学。12941，3--24（2021；Zbl 07497913） 全文： 内政部 arXiv公司
马丁·布罗姆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫 线性整数求解的完全终止方法。 （英语） 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日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 111-122 (2019).MSC公司：03B35型 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｝，Lect。注释计算。科学。97061116-132（2016年；兹比尔1475.68337） 全文： 内政部 哈尔