Acceleration of SAT-based CSP Solvers using MDD

使用 MDD 加速基于 SAT 的 CSP 求解器

基本信息

批准号：
20K11748
负责人：
Soh Takehide
金额：
$ 2.75万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2020
资助国家：
日本
起止时间：
2020-04-01 至 2023-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（15）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

XCSP Competitions

XCSP竞赛

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

ライフゲームを逆向きに動かす

逆转人生的游戏

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
足立啓一; 宋剛秀; 田村直之
通讯作者：
田村直之

CDCL型SATソルバーの内部動作可視化ツール

CDCL型SAT求解器内部运算可视化工具

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
堀岡真未; 宋剛秀; 田村直之
通讯作者：
田村直之

SATソルバーを用いた一層平面配置配線問題の解法に関する考察

利用SAT求解器求解单层平面布局布线问题的思考

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
三嶋哲平; 宋剛秀; 田村直之
通讯作者：
田村直之

CNRS (CRIL)/CNRS (LS2N)(フランス)

CNRS (CRIL)/CNRS (LS2N)（法国）

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Soh Takehide其他文献

Soh Takehide的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

{{ truncateString('Soh Takehide', 18)}}的其他基金

Research and Development of Constraint Programming Systems for Metabolic Pathway Analysis

代谢途径分析约束编程系统的研究与开发

批准号：
25730042
财政年份：
2013
资助金额：
$ 2.75万
项目类别：
Grant-in-Aid for Young Scientists (B)

相似国自然基金

基于 SAT 的扩展时序逻辑的符号化模型检验

批准号：
61103012
批准年份：
2011
资助金额：
23.0 万元
项目类别：
青年科学基金项目

相似海外基金

Problem Solving with SAT Oracles

使用 SAT Oracle 解决问题

批准号：
19H04175
财政年份：
2019
资助金额：
$ 2.75万
项目类别：
Grant-in-Aid for Scientific Research (B)

Research and Development of Experiment Candidate Recommendation System with Reasoning and Learning

推理学习实验候选人推荐系统的研究与开发

批准号：
16K00304
财政年份：
2016
资助金额：
$ 2.75万
项目类别：
Grant-in-Aid for Scientific Research (C)

A Study on Extending SAT Solvers with Cardinality Constraints and its Applications

基数约束扩展SAT求解器及其应用研究

批准号：
25330085
财政年份：
2013
资助金额：
$ 2.75万
项目类别：
Grant-in-Aid for Scientific Research (C)