克雷默，杰伦；安德鲁·雷诺兹；克拉克·巴雷特；塞萨尔·蒂内利 中求解非线性实数算法的协作技术cvc5公司SMT求解器（系统描述）。 （英语） Zbl 07628183号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 95-105 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}等人，Lect。注释计算。科学。13385，95-105（2022；Zbl 07628183） 全文： DOI程序
哈尼尔·巴博萨；安德鲁·雷诺兹；克雷默，杰伦；汉娜·拉奇尼特；艾娜·尼梅茨；安德烈斯·诺兹利；亚历克斯·奥兹德米尔；马蒂亚斯·普雷纳；阿琼·维斯瓦纳坦；斯科特·维特里；尤尼·佐哈尔；塞萨尔·蒂内利；克拉克·巴雷特 在工业级SMT解决方案中进行灵活的验证生产。 （英语） Zbl 07628179号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 15-35 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Barbosa}等人，Lect。注释计算。科学。13385，15--35（2022；Zbl 07628179） 全文： DOI程序
艾丽卡·阿尔布拉汉姆；詹姆斯·H·达文波特。；英格兰，马修；克雷默，杰伦 使用柱面代数覆盖确定非线性实算术约束与冲突驱动搜索的一致性。 （英语） Zbl 1509.68243号 J.日志。阿尔盖布。方法计划。 119，文章ID 100633，33 p.（2021）.MSC公司：68T20型 68伏15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，J.Log。阿尔盖布。方法计划。119，文章ID 100633，33 p.（2021；Zbl 1509.68243） 全文： DOI程序 arXiv公司
克雷默，杰伦；艾丽卡·阿尔布拉汉姆 完全增量柱面代数分解。 （英语） Zbl 1432.68601号 J.塞姆。计算。 100, 11-37 (2020).MSC公司：68瓦30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}和\textit{E.ábrahám}，J.Symb。计算。100,11--37（2020年；Zbl 1432.68601） 全文： DOI程序
克雷默，杰伦；艾丽卡·阿尔布拉汉姆 模块化战略SMT解决方案SMT-RAT型. （英语） Zbl 1412.68270号 Sapientiae大学学报。 10，第1号，5-25（2018）.MSC公司：68T20型 68-04 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}和\textit{E.ábrahám}，萨皮安提亚大学学报，Inform。10、编号1、5--25（2018；Zbl 1412.68270） 全文： DOI程序
艾丽卡·阿尔布拉汉姆；克雷默，杰伦 可满足性检查：理论与应用。 （英语） Zbl 1390.68569号 De Nicola，Rocco（编辑）等人，《软件工程和形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。《计算机科学讲义》9763，9-23（2016）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}和\textit{G.Kremer}，莱克特。注释计算。科学。9763，9--23（2016；Zbl 1390.68569） 全文： DOI程序
克雷默，杰伦；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 广义分枝定界方法及其在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） 全文： DOI程序 链接
弗洛里安·科齐利厄斯；克雷默，杰伦；Junges，塞巴斯蒂安；斯特凡·舒普；艾丽卡·阿尔布拉汉姆 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） 全文： DOI程序