E·阿尔布拉哈姆。;雅培,J。;B.贝克尔。;A.M.比加蒂。;布莱恩,M。;巴赫伯格,B。;A.西马蒂。;J.H.达文波特。;英格兰,M。;方丹,P。;福雷斯特,S。;A.格里乔。;科隆,D。;西勒,W.M。;斯特姆,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公司 链接 参考文献: [1] E.Á;布拉赫á;m.在符号计算和可满足性检查之间架起桥梁。摘自:ISSAC’15会议记录。第1-6页,ACM,2015年·Zbl 1345.68279号 ·doi:10.1145/2755996.2756636 [2] E.193;布拉赫á;m、 J.Abbott、B.Becker、A.m.Bigatti、m.Brain、B.Buchberger、A.Cimatti、J.H.Davenport、m.England、P.Fontaine、S.Forrest、A.Griggio、D.Kroening、W.m.Seiler和T.Sturm。SC2:满足性检查符合符号计算(项目文件)。接受发布于:程序。2016年CICM。预打印:http://www.sc-square.org/Papers/CICM16.pdf ·Zbl 1344.68198号 [3] C.Barrett、R.Sebastiani、S.A.Seshia和C.Tinelli。可满足性模理论。收录于:《可满足性手册》,人工智能与应用前沿,185,p825-885。IOS出版社,2009 [4] A.Platzer,J.D.奎塞尔&;P.Rü;月。真实验证。程序。CADE-22。第485-501页。ACM,2009年·Zbl 1250.68197号 ·doi:10.1007/978-3-642-02959-2_35 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。