×

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

广义分枝定界方法及其在SAT模非线性整数算法中的应用。 (英语) Zbl 1453.90186号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9890,315-335(2016年)。
MSC公司:90C57型 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

SMT-RAT型:开源C类++用于战略和并行SMT解决的工具箱。 (英语) Zbl 1471.68241号

Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9340, 360-368 (2015).
MSC公司:68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段