Large-scale parallel logic solvers and applications using complexity

使用复杂性的大规模并行逻辑求解器和应用程序

基本信息

项目摘要

项目成果

期刊论文数量（12）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
私のホームページで、論文のPDF等があります。
你可以在我的主页上找到论文的 PDF 版本。
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
本研究の大規模な並列QBFソルバ
本研究中的大规模并行QBF求解器
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
北大でのウェブページ(2020年度まで)
北海道大学网页（截至2020年）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
lrsarith: a small fixed/hybrid arithmetic C library
lrsarith：一个小型固定/混合算术 C 库
  • DOI：
  • 发表时间：
    2021
  • 期刊：
    arXiv
  • 影响因子：
    0
  • 作者：
    Shintani Michihiro;Mino Tomoki;Inoue Michiko;Shintani Michihiro;David Avis and Charles Jordan
  • 通讯作者：
    David Avis and Charles Jordan
小樽商科大学でのWebページ(研究論文・開発したフリーソフト公開)
小樽商业大学网页（提供研究论文和开发的免费软件）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Jordan Charles其他文献

Jordan Charles的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了