文章基本信息

标题：Implementation and Experiments of a Distributed SMT Solving Environment
本地全文：下载
作者：Leyuan Liu ; Weiqiang Kong ; Akira Fukuda 等
期刊名称：International Journal on Computer Science and Engineering
印刷版ISSN：2229-5631
电子版ISSN：0975-3397
出版年度：2014
卷号：6
期号：3
页码：80-90
出版社：Engg Journals Publications