E·阿尔布拉哈姆。;Abbott,J。;B.贝克尔。;A.M.比加蒂。;布莱恩,M。;布赫伯格,B。;A.西马蒂。;J.H.达文波特。;英格兰,M。;方丹,P。;福雷斯特,S。;Griggio,A。;科隆,D。;西勒,W.M。;Sturm,T。 满意度检查和符号计算。 (英语) Zbl 1365.68478号 ACM通信。计算。代数 50,第4期,145-147(2016).MSC公司:68瓦30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,ACM Commun。计算。代数50,第4期,145-147(2016;Zbl 1365.68478) 全文: 内政部 arXiv公司 链接
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(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公司