贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗(Christopher W.Brown)。;詹姆斯·H·达文波特。;英格兰,马修 单个圆柱形代数单元的水平构造。 (英语) Zbl 07799840号 J.塞姆。计算。 123,文章ID 102288,44 p.(2024).MSC公司:68瓦xx 68泰克 03立方厘米xx PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人,J.Symb。计算。123,文章ID 102288,44 p.(2024;Zbl 07799840) 全文: 内政部 arXiv公司
mnesc博士,Isabela;艾丽卡·阿尔布拉汉姆;都铎Jebelean;加博尔·库斯珀;斯特拉图拉特,索林 在课堂上进行自动推理实验。 (英语) Zbl 07691306号 Buzzard,Kevin(编辑)等人,《智能计算机数学》。2022年9月19日至23日,第15届国际会议,CICM 2022,格鲁吉亚第比利斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13467, 287-304 (2022).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{I.Drámnesc}等人,Lect。注释计算。科学。13467,287--304(2022;Zbl 07691306) 全文: 内政部 哈尔
斯特凡·舒普;艾丽卡·阿尔布拉汉姆;特里斯坦·埃伯特 混合系统验证的理论和工具支持的最新发展HyPro公司. (英语) Zbl 07629138号 Inf.计算。 289,A部分,文章ID 104945,25 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Schupp}等人,《信息计算》。289,A部分,文章ID 104945,25 p.(2022;Zbl 07629138) 全文: 内政部
艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰,马修;基里恩·克莱默 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 (英语) 兹比尔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) 全文: 内政部 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) 全文: 内政部
基里恩·克莱默;艾丽卡·阿尔布拉汉姆 模块化战略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;兹bl 1412.68270) 全文: 内政部
基里恩·克莱默;弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆 广义分枝定界方法及其在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) 全文: 内政部 链接
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 (英语) 兹比尔1344.68198 Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,28-43(2016)。MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,Lect。注释计算。科学。9791,28-43(2016;Zbl 1344.68198) 全文: 内政部 arXiv公司
艾丽卡·亚伯拉罕 在符号计算和可满足性检查之间架起桥梁。 (英语) Zbl 1345.68279号 第40届符号和代数计算国际研讨会论文集,ISSAC 2015,英国巴斯,2015年7月6日至9日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3435-8)。1-6 (2015).MSC公司:68瓦30 68吨15 68-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Abraham},in:第40届符号和代数计算国际研讨会论文集,ISSAC 2015,英国巴斯,2015年7月6-9日。纽约州纽约市:计算机协会(ACM)。1-6(2015;Zbl 1345.68279) 全文: 内政部
弗洛里安·科齐利厄斯;基里恩·克莱默;塞巴斯蒂安·荣格斯;斯特凡·舒普;艾丽卡·阿尔布拉汉姆 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) 全文: 内政部
塞巴斯蒂安·荣格斯;乌尔里奇·洛普;弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆 在Gröbner基上,在实数上求解可满足性模理论。 (英语) Zbl 1398.68696号 Muntean,Traian(编辑)等人,《代数信息学》。2013年9月3日至6日,法国Porquerolles,第五届国际会议,CAI 2013。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40662-1/pbk)。《计算机科学讲义》8080186-198(2013)。MSC公司:68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{S.Junges}等人,Lect。注释计算。科学。8080186--198(2013年;Zbl 1398.68696) 全文: 内政部 链接
乌尔里奇·洛普;艾丽卡·阿尔布拉汉姆 I-RiSC:一个符合SMT的实代数存在片段求解器。 (英语) Zbl 1339.68242号 Winkler,Franz(编辑),代数信息学。2011年6月21日至24日,第四届国际会议,CAI 2011,奥地利林茨。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21492-9/pbk)。计算机科学课堂讲稿6742230-246(2011)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{U.Loup}和\textit{E.ábrahám},莱克特。注释计算。科学。67422230-246(2011年;兹比尔1339.68242) 全文: 内政部