A fast Boolean satisfiability problem solver by shortening the proof

通过缩短证明来快速解决布尔可满足性问题

基本信息

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

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
決定的ポートフォリオ型並列 SAT ソルバー ManyGlucose
确定性投资组合并行 SAT 求解器 ManyGlucose
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Laboratory Assignment Problems with Tie on Students' Preferences
与学生关系密切的实验室作业问题
リスタート戦略改善に向けた頻出決定変数パターンのマイニング
挖掘频繁决策变量模式以改进重启策略
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    小粥勇作;松村嘉之;星野　雄介;福田 晴喜，鍋島 英知
  • 通讯作者：
    福田 晴喜，鍋島 英知
Reproducible Efficient Parallel SAT Solving
Coverage-Based Clause Reduction Heuristics for CDCL Solvers
CDCL 求解器的基于覆盖范围的子句缩减启发式
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('NABESHIMA Hidetomo', 18)}}的其他基金

A Study of Accelerating Boolean Satisfiability Solvers
加速布尔可满足性求解器的研究
  • 批准号：
    26330248
  • 财政年份：
    2014
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
A study on a practical consequence finding system
实用后果发现系统的研究
  • 批准号：
    23700164
  • 财政年份：
    2011
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
A Study of Advanced and Effective SAT Planning and Scheduling
先进有效的SAT规划与调度研究
  • 批准号：
    19700135
  • 财政年份：
    2007
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

Speeding-up SAT-based Constraint Optimization Solvers
加速基于 SAT 的约束优化求解器
  • 批准号：
    23K11047
  • 财政年份：
    2023
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Combinatorial designs with cyclic structures for designs of experiments, combinatorial testing, and codes
用于实验设计、组合测试和代码的循环结构组合设计
  • 批准号：
    22K13949
  • 财政年份：
    2022
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
ラットの坐骨神経癒着モデルを用いた 超音波ガイド下神経剥離術の薬剤選定
使用大鼠坐骨神经粘连模型进行超声引导神经解剖的药物选择
  • 批准号：
    22K16745
  • 财政年份：
    2022
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
约束满足问题新型SAT求解技术的研究与开发
  • 批准号：
    22K11973
  • 财政年份：
    2022
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Acceleration of SAT-based CSP Solvers using MDD
使用 MDD 加速基于 SAT 的 CSP 求解器
  • 批准号：
    20K11748
  • 财政年份：
    2020
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了