×

找到7个文档（结果1-7）

最新的 引文 关联
詹姆斯·H·达文波特。（编辑）;英格兰，马修（编辑）;阿尔贝托·格里乔（编辑）;托马斯·斯特姆（编辑）;塞萨尔·蒂内利（编辑）

编辑：符号计算和可满足性检查。 （英文） Zbl 1444.68006号

J.塞姆。计算。 100, 1-10 (2020).
MSC公司：68-06 68兰特 68T20型 68瓦30 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}（编辑）等，J.Symb。计算。100,1-10（2020年；Zbl 1444.68006）
全文： 内政部
E·阿尔布拉哈姆。;雅培，J。;B.贝克尔。;A.M.比加蒂。;布莱恩，M。;巴赫伯格，B。;A.西马蒂。;J.H.达文波特。;英格兰，M。;方丹，P。;福雷斯特，S。;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）：可满足性检查满足符号计算。（项目文件）。 （英文） Zbl 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公司
阿尔贝托·格里乔;Le，Thi Thieu Hoa先生;罗伯托·塞巴斯蒂亚尼

可满足模线性整数算法中的高效插值生成。 （英文） Zbl 1315.68179号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605143-157（2011）。
MSC公司：60年第68季度 03B25号 03C40号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛A.Griggio｝等人，Lect。注释计算。科学。6605143-157（2011年；Zbl 1315.68179）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件