刷新
A Study on EPR Prover for Solving Large-scale SAT Problems
解决大规模SAT问题的EPR证明器研究
基本信息
- 批准号：21300054
- 负责人：
- 金额：$ 11.32万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2009
- 资助国家：日本
- 起止时间：2009 至 2012
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
We conducted the research on technologies solving large-scale Constraint Satisfaction/Optimization Problems by combining SAT technologies and model generation technologies, and published 9 refereed papers and made 36 presentations. In addition, world’s leading softwares QMaxSAT and SCMiniSat were developed. QMaxSAT won at the 2010, 2011, and 2012 Max-SAT evaluations in an industrial category and SCMiniSat increased the lower bound of Ramsey number R(4,8) from 56 to 58.
我们通过结合SAT技术和模型生成技术来解决解决大规模限制满意度/优化问题的技术研究，并发表了9篇参考论文并进行了36篇演讲。此外，开发了世界领先的QMAXSAT和SCMINISAT。 Qmaxsat在2010、2011和2012年的最高 - SAT评估中获胜，而Scminisat则将Ramsey Number R（4,8）的下限从56增加到58。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Hybrid Particle Swarm Optimization and Convergence Analysis for Scheduling Problems
调度问题的混合粒子群优化和收敛性分析
- DOI：10.1145/2330784.2330829
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Xue-Feng Zhang;Miyuki Koshimura;Hiroshi Fujita;Ryuzo Hasegawa
- 通讯作者：Ryuzo Hasegawa
モデル列挙とモデル計数
模型枚举和模型计数
- DOI：
- 发表时间：2010
- 期刊：
- 影响因子：0
- 作者：Bin-Hui Chou;Einoshin Suzuki;長谷川 隆三,藤田 博,越村 三幸
- 通讯作者：長谷川 隆三,藤田 博,越村 三幸
A Partial Max-SAT Solver
部分 Max-SAT 求解器
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：M. Koshimura;T. Zhang;H. Fujita;R. Hasegawa;QMaxSAT
- 通讯作者：QMaxSAT
{{
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 }}
HASEGAWA Ryuzo其他文献
HASEGAWA Ryuzo的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('HASEGAWA Ryuzo', 18)}}的其他基金
Study on Language Processing for Plastic Cell Architecture
塑料细胞结构的语言处理研究
- 批准号：
14580380 - 财政年份：2002
- 资助金额：
$ 11.32万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Building a Distributed Knowledge Information System Based on Model Generation
构建基于模型生成的分布式知识信息系统
- 批准号：
08458080 - 财政年份：1996
- 资助金额：
$ 11.32万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
相似海外基金
Speeding-up SAT-based Constraint Optimization Solvers
加速基于 SAT 的约束优化求解器
- 批准号：
23K11047 - 财政年份：2023
- 资助金额：
$ 11.32万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ラットの坐骨神経癒着モデルを用いた 超音波ガイド下神経剥離術の薬剤選定
使用大鼠坐骨神经粘连模型进行超声引导神经解剖的药物选择
- 批准号：
22K16745 - 财政年份：2022
- 资助金额：
$ 11.32万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Combinatorial designs with cyclic structures for designs of experiments, combinatorial testing, and codes
用于实验设计、组合测试和代码的循环结构组合设计
- 批准号：
22K13949 - 财政年份：2022
- 资助金额：
$ 11.32万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
约束满足问题新型SAT求解技术的研究与开发
- 批准号：
22K11973 - 财政年份：2022
- 资助金额：
$ 11.32万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Acceleration of SAT-based CSP Solvers using MDD
使用 MDD 加速基于 SAT 的 CSP 求解器
- 批准号：
20K11748 - 财政年份：2020
- 资助金额：
$ 11.32万 - 项目类别：
Grant-in-Aid for Scientific Research (C)