High Performance SAT-based Constraint Programming System using Hybrid Encoding

使用混合编码的高性能基于 SAT 的约束编程系统

基本信息

批准号：
16K16036
负责人：
Soh Takehide
金额：
$ 2.5万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2016
资助国家：
日本
起止时间：
2016-04-01 至 2019-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（41）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

SAT-based Constraint Programming Systems and Related Technologies

基于SAT的约束规划系统及相关技术

DOI：
10.11309/jssst.34.1_67
发表时间：
2017
期刊：
Computer Software
影响因子：
0
作者：
宋剛秀;番原睦則;田村直之
通讯作者：
田村直之

SATとパズル

SAT 和谜题

DOI：
发表时间：
2016
期刊：
情報処理
影响因子：
0
作者：
田村直之;宋剛秀;番原睦則
通讯作者：
番原睦則

Diet-Sugar: SATソルバーを用いたCSPソルバー

Diet-Sugar：使用 SAT 求解器的 CSP 求解器

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

CRIL-Kobe-Louvain 共同ワークショップ

CRIL-神户-鲁汶联合研讨会

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

制約充足問題のASP符号化に関する一考察

约束满足问题的ASP编码研究

DOI：
发表时间：
2017
期刊：
影响因子：
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)}}的其他基金

Acceleration of SAT-based CSP Solvers using MDD

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

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

Research and Development of Constraint Programming Systems for Metabolic Pathway Analysis

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

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

相似国自然基金

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

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

相似海外基金

Speeding-up SAT-based Constraint Optimization Solvers

加速基于 SAT 的约束优化求解器

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