Development of a SAT Solver Based on Extened Resolution
基于扩展分辨率的 SAT 求解器的开发
基本信息
- 批准号：17K12742
- 负责人：
- 金额：$ 1.58万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2017
- 资助国家：日本
- 起止时间：2017-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（3）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
SATソルバを参考にした行列のフルランク性の判定手法
使用 SAT 求解器作为参考确定矩阵满秩的方法
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Daisuke Hatano;Yuko Kuroki;Yasushi Kawase;Hanna Sumita;Naonori Kakimura;Ken-ichi Kawarabayashi;Sonobe Tomohiro;Sonobe Tomohiro;町出智也,薗部知大
- 通讯作者：町出智也,薗部知大
An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle
SAT 求解器扩展分辨率效应对鸽巢原理的实验研究
- DOI：10.3390/a15120479
- 发表时间：2022
- 期刊：
- 影响因子：2.3
- 作者：Huang Xiao;Orimoto Yuuichi;Aoki Yuriko;Sonobe Tomohiro
- 通讯作者：Sonobe Tomohiro
Variable Selection with PageRank for SAT Solvers
SAT 求解器的 PageRank 变量选择
- DOI：10.3844/jcssp.2019.1074.1084
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Daisuke Hatano;Yuko Kuroki;Yasushi Kawase;Hanna Sumita;Naonori Kakimura;Ken-ichi Kawarabayashi;Sonobe Tomohiro;Sonobe Tomohiro
- 通讯作者：Sonobe Tomohiro
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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其他文献
Sonobe Tomohiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Sonobe Tomohiro', 18)}}的其他基金
Development of Fast Parallel SAT Solvers Using Problem Structure
使用问题结构开发快速并行 SAT 求解器
- 批准号：
15K16057 - 财政年份：2015
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
Application of perfect sampling with SAT/SMT solvers
SAT/SMT 求解器完美采样的应用
- 批准号：
23K10998 - 财政年份：2023
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
入出力プロトコルに着目した機械学習によるカバレッジ駆動検証システムに関する研究
基于输入/输出协议的机器学习覆盖驱动验证系统研究
- 批准号：
22K11962 - 财政年份：2022
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
グラフニューラルネットワークを用いた高速SATソルバの研究開発
基于图神经网络的高速SAT求解器的研发
- 批准号：
21K12023 - 财政年份：2021
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A Development of Perfect Sampling with SAT/SMT Solvers
SAT/SMT 求解器完美采样的开发
- 批准号：
20K11694 - 财政年份：2020
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A compact packet classification method that realizes large scale NFV
一种实现大规模NFV的紧凑数据包分类方法
- 批准号：
19K11953 - 财政年份：2019
- 资助金额：
$ 1.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)