Development of Fast Parallel SAT Solvers Using Problem Structure

使用问题结构开发快速并行 SAT 求解器

基本信息

  • 批准号：
    15K16057
  • 负责人：
    Sonobe Tomohiro
  • 金额：
    $ 0.83万
  • 依托单位：
    National Institute of Informatics
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 财政年份：
    2015
  • 资助国家：
    日本
  • 起止时间：
    2015-04-01 至 2017-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（2）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving
深入探究文字块：在 SAT 解答中挖掘更有前景的学习子句
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Hiroki Teranishi;Hiroyuki Shindo;Yuji Matsumoto;Tomohiro Sonobe
  • 通讯作者：
    Tomohiro Sonobe
コミュニティ構造を利用した並列SATソルバの学習節共有手法の提案
使用社区结构的并行 SAT 求解器学习子句共享方法的提出
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Minh-Tien Nguyen;Chien-Xuan Tran;Duc-Vu Tran;and Minh-Le Nguyen;薗部知大
  • 通讯作者：
    薗部知大
{{ 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 }}

Sonobe Tomohiro其他文献

SATソルバを参考にした行列のフルランク性の判定手法
使用 SAT 求解器作为参考确定矩阵满秩的方法
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Daisuke Hatano;Yuko Kuroki;Yasushi Kawase;Hanna Sumita;Naonori Kakimura;Ken-ichi Kawarabayashi;Sonobe Tomohiro;Sonobe Tomohiro;町出智也,薗部知大
  • 通讯作者：
    町出智也,薗部知大
Variable Selection with PageRank for SAT Solvers
SAT 求解器的 PageRank 变量选择
  • DOI：
    10.3844/jcssp.2019.1074.1084
  • 发表时间：
    2019
  • 期刊：
    Journal of Computer Science
  • 影响因子：
    0
  • 作者：
    Daisuke Hatano;Yuko Kuroki;Yasushi Kawase;Hanna Sumita;Naonori Kakimura;Ken-ichi Kawarabayashi;Sonobe Tomohiro;Sonobe Tomohiro
  • 通讯作者：
    Sonobe Tomohiro
An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle
SAT 求解器扩展分辨率效应对鸽巢原理的实验研究
  • DOI：
    10.3390/a15120479
  • 发表时间：
    2022
  • 期刊：
    Algorithms
  • 影响因子：
    2.3
  • 作者：
    Huang Xiao;Orimoto Yuuichi;Aoki Yuriko;Sonobe Tomohiro
  • 通讯作者：
    Sonobe Tomohiro

Sonobe Tomohiro的其他文献

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

{{ truncateString('Sonobe Tomohiro', 18)}}的其他基金

Development of a SAT Solver Based on Extened Resolution
基于扩展分辨率的 SAT 求解器的开发
  • 批准号：
    17K12742
  • 财政年份：
    2017
  • 资助金额：
    $ 0.83万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

グラフニューラルネットワークを用いた高速SATソルバの研究開発
基于图神经网络的高速SAT求解器的研发
  • 批准号：
    21K12023
  • 财政年份：
    2021
  • 资助金额：
    $ 0.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了