Speeding-up SAT-based Constraint Optimization Solvers
加速基于 SAT 的约束优化求解器
基本信息
- 批准号：23K11047
- 负责人：
- 金额：$ 2.66万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2027-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
宋 剛秀其他文献
クラウド上のソフトウェア要素最適配置問題の解法
云上软件元素最优放置问题的解决
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
田村 直之;井上 克巳;鍋島 英知;番原 睦則;宋 剛秀 - 通讯作者：
宋 剛秀
SAT変換手法における充足不能コアの抽出
SAT转换方法中不可满足核心的提取
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
田村 直之;井上 克巳;鍋島 英知;番原 睦則;宋 剛秀;三神 直彬，鍋島 英知;杉本 拓也，鍋島 英知;横前 菜々子，鍋島 英知;渡辺 大樹，鍋島 英知 - 通讯作者：
渡辺 大樹，鍋島 英知
Recent Advances in SAT Solvers and their Utilization Technologies.
SAT 求解器及其应用技术的最新进展。
- DOI：
10.11309/jssst.35.72 - 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
宋 剛秀;番原 睦則;田村 直之;鍋島 英知 - 通讯作者：
鍋島 英知
CDCLソルバーにおける学習節の深さに基づく節管理戦略
CDCL求解器中基于学习子句深度的子句管理策略
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
田村 直之;井上 克巳;鍋島 英知;番原 睦則;宋 剛秀;三神 直彬，鍋島 英知;杉本 拓也，鍋島 英知;横前 菜々子，鍋島 英知 - 通讯作者：
横前 菜々子，鍋島 英知
'Indigenous knowledge, environmental research and transdisciplinary approach'
“本土知识、环境研究和跨学科方法”
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
戸田 貴久;伊藤 健洋;川原 純;宋 剛秀;鈴木 顕;照山 順一;Takamasa Osawa - 通讯作者：
Takamasa Osawa
宋 剛秀的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('宋 剛秀', 18)}}的其他基金
SAT変換を用いた制約充足問題の解法とシステム生物学への応用
利用 SAT 变换解决约束满足问题及其在系统生物学中的应用
- 批准号：
10J02321 - 财政年份：2010
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for JSPS Fellows
相似国自然基金
基于 SAT 的扩展时序逻辑的符号化模型检验
- 批准号：61103012
- 批准年份：2011
- 资助金额：23.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Acceleration of SAT-based CSP Solvers using MDD
使用 MDD 加速基于 SAT 的 CSP 求解器
- 批准号：
20K11748 - 财政年份：2020
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Problem Solving with SAT Oracles
使用 SAT Oracle 解决问题
- 批准号：
19H04175 - 财政年份：2019
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
High Performance SAT-based Constraint Programming System using Hybrid Encoding
使用混合编码的高性能基于 SAT 的约束编程系统
- 批准号：
16K16036 - 财政年份：2016
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Research and Development of Experiment Candidate Recommendation System with Reasoning and Learning
推理学习实验候选人推荐系统的研究与开发
- 批准号：
16K00304 - 财政年份：2016
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research and Development of Constraint Programming Systems for Metabolic Pathway Analysis
代谢途径分析约束编程系统的研究与开发
- 批准号：
25730042 - 财政年份：2013
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (B)