×

满意度检查和符号计算。 (英语) Zbl 1365.68478号

MSC公司:

68瓦30 符号计算和代数计算
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。