Large-scale parallel logic solvers and applications using complexity
Large-scale parallel logic solvers and applications using complexity
使用复杂性的大规模并行逻辑求解器和应用程序
批准号：
18K18027
负责人：
Jordan Charles
金额：
$2.66万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
私のホームページで、論文のPDF等があります。
你可以在我的主页上找到论文的 PDF 版本。
你可以在我的主页上找到论文的 PDF 版本。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
本研究の大規模な並列QBFソルバ
本研究中的大规模并行QBF求解器
本研究中的大规模并行QBF求解器
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
北大でのウェブページ(2020年度まで)
北海道大学网页（截至2020年）
北海道大学网页（截至2020年）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
lrsarith: a small fixed/hybrid arithmetic C library
lrsarith：一个小型固定/混合算术 C 库
lrsarith：一个小型固定/混合算术 C 库
DOI：
--
发表时间：
2021
期刊：
arXiv
影响因子：
--
作者：
[Shintani Michihiro, Mino Tomoki, Inoue Michiko, Shintani Michihiro, David Avis and Charles Jordan]
通讯作者：
David Avis and Charles Jordan
小樽商科大学でのWebページ(研究論文・開発したフリーソフト公開)
小樽商业大学网页（提供研究论文和开发的免费软件）
小樽商业大学网页（提供研究论文和开发的免费软件）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 11 条