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
  • 作者:
    田村 直之;井上 克巳;鍋島 英知;番原 睦則;宋 剛秀;三神 直彬,鍋島 英知;杉本 拓也,鍋島 英知;横前 菜々子,鍋島 英知;渡辺 大樹,鍋島 英知
  • 通讯作者:
    渡辺 大樹,鍋島 英知
'Indigenous knowledge, environmental research and transdisciplinary approach'
“本土知识、环境研究和跨学科方法”
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    戸田 貴久;伊藤 健洋;川原 純;宋 剛秀;鈴木 顕;照山 順一;Takamasa Osawa
  • 通讯作者:
    Takamasa Osawa
Recent Advances in SAT Solvers and their Utilization Technologies.
SAT 求解器及其应用技术的最新进展。
  • DOI:
    10.11309/jssst.35.72
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    宋 剛秀;番原 睦則;田村 直之;鍋島 英知
  • 通讯作者:
    鍋島 英知
CDCLソルバーにおける学習節の深さに基づく節管理戦略
CDCL求解器中基于学习子句深度的子句管理策略
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    田村 直之;井上 克巳;鍋島 英知;番原 睦則;宋 剛秀;三神 直彬,鍋島 英知;杉本 拓也,鍋島 英知;横前 菜々子,鍋島 英知
  • 通讯作者:
    横前 菜々子,鍋島 英知

宋 剛秀的其他文献

{{ 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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了