×

找到7个文档(结果1-7)

浮点数理论的优化模块。 (英语) Zbl 07178998号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 550-567 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用

色彩使理论变得困难。 (英语) Zbl 1475.68451号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 152-170 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

可满足模线性整数算法中的高效插值生成。 (英语) 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格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段