基里恩·克莱默;弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆 广义分枝定界方法及其在SAT模非线性整数算法中的应用。 (英语) Zbl 1453.90186号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9890,315-335(2016年)。MSC公司:90C57型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}等人,Lect。注释计算。科学。9890、315--335(2016;Zbl 1453.90186) 全文: 内政部 链接
弗洛里安·科齐利厄斯;基里恩·克莱默;塞巴斯蒂安·荣格斯;斯特凡·舒普;艾丽卡·阿尔布拉汉姆 SMT-RAT型:开源C类++用于战略和并行SMT解决的工具箱。 (英语) Zbl 1471.68241号 Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9340, 360-368 (2015).MSC公司:68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Corzilius}等人,Lect。注释计算。科学。9340,360-368(2015;Zbl 1471.68241) 全文: 内政部