刷新
A Study of Accelerating Boolean Satisfiability Solvers
加速布尔可满足性求解器的研究
基本信息
- 批准号：26330248
- 负责人：
- 金额：$ 3.08万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2014
- 资助国家：日本
- 起止时间：2014-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
CDCLソルバーのための軽量動的簡単化手法
CDCL求解器的轻量级动态简化方法
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：田村 直之;井上 克巳;鍋島 英知;番原 睦則;宋 剛秀;三神 直彬，鍋島 英知;杉本 拓也，鍋島 英知
- 通讯作者：杉本 拓也，鍋島 英知
Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers
- DOI：10.1587/transinf.2014fop0007
- 发表时间：2015-06-01
- 期刊：
- 影响因子：0.7
- 作者：Sakai, Masahiko;Nabeshima, Hidetomo
- 通讯作者：Nabeshima, Hidetomo
SATソルバーの安定性向上のための粗な初期探索手法の検討と提案
提高SAT求解器稳定性的粗略初始搜索方法的研究和提出
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：田村 直之;井上 克巳;鍋島 英知;番原 睦則;宋 剛秀;三神 直彬，鍋島 英知
- 通讯作者：三神 直彬，鍋島 英知
ポートフォリオ型SATソルバーのための分類器の構築手法
组合型SAT求解器的分类器构建方法
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：宇都宮気伸;白井啓一郎;宮尾秀俊;丸山稔;藤江 柊輔，鍋島 英知
- 通讯作者：藤江 柊輔，鍋島 英知
{{
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 }}
NABESHIMA Hidetomo其他文献
NABESHIMA Hidetomo的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('NABESHIMA Hidetomo', 18)}}的其他基金
A fast Boolean satisfiability problem solver by shortening the proof
通过缩短证明来快速解决布尔可满足性问题
- 批准号：
17K00300 - 财政年份：2017
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A study on a practical consequence finding system
实用后果发现系统的研究
- 批准号：
23700164 - 财政年份：2011
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
A Study of Advanced and Effective SAT Planning and Scheduling
先进有效的SAT规划与调度研究
- 批准号：
19700135 - 财政年份：2007
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
Speeding-up SAT-based Constraint Optimization Solvers
加速基于 SAT 的约束优化求解器
- 批准号：
23K11047 - 财政年份：2023
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ラットの坐骨神経癒着モデルを用いた 超音波ガイド下神経剥離術の薬剤選定
使用大鼠坐骨神经粘连模型进行超声引导神经解剖的药物选择
- 批准号：
22K16745 - 财政年份：2022
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Combinatorial designs with cyclic structures for designs of experiments, combinatorial testing, and codes
用于实验设计、组合测试和代码的循环结构组合设计
- 批准号：
22K13949 - 财政年份：2022
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
约束满足问题新型SAT求解技术的研究与开发
- 批准号：
22K11973 - 财政年份：2022
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Acceleration of SAT-based CSP Solvers using MDD
使用 MDD 加速基于 SAT 的 CSP 求解器
- 批准号：
20K11748 - 财政年份：2020
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)