课题基金 / 基金详情

A study on EPR method for solving large scale combinatorial optimization problems

A study on EPR method for solving large scale combinatorial optimization problems
求解大规模组合优化问题的EPR方法研究
批准号：
25330262
负责人：
Fujita Hiroshi
金额：
$3.0万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330262/
关键词：
組合せ最適化Ramsey数SATMaxSAT基数制約組合せ最適化問題SATソルバーラムゼー数対称性制約MaxSAT問題帰納論理プログラミングAES暗号鍵組合せ問題最適化問題EPRソルバー

项目摘要

项目成果

Fujita Hiroshi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
QwMaxSAT: A weighted partial MaxSAT solver
QwMaxSAT：加权部分 MaxSAT 求解器
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [Miyuki Koshimura, Toshitaka Arimura]
通讯作者： Toshitaka Arimura
MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities
DOI： 10.1587/transinf.e97.d.1781
发表时间： 2014-07
期刊： IEICE Trans. Inf. Syst.
影响因子： --
作者： [Xiaojuan Liao;Miyuki Koshimura;H. Fujita;R. Hasegawa]
通讯作者： Xiaojuan Liao;Miyuki Koshimura;H. Fujita;R. Hasegawa
節集合の簡単化によるMaxSATソルバーの高速化
通过简化子句集加速 MaxSAT 求解器
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [Kenichi Kourai, Hiroki Ooba, 福永　力, 阿萬 裕久, 上村 直輝，越村 三幸，長谷川 隆三]
通讯作者： 上村 直輝，越村 三幸，長谷川 隆三
〔デモ発表〕SCSat: A Soft Constraint Guided SAT Solver
[演示演示] SCSat：软约束引导的 SAT 求解器
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Tatsuya Sakato, Natsuki Oka, 藤田 博]
通讯作者： 藤田 博
共 15 条
    Basic research on the construction of a database of diversity lung nodules and the development of a self-learning diagnostic imaging support system
    • 批准号：
      19H03599
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.32万
    • 财政年份：
      2019
    • 负责人：
      Fujita Hiroshi
    • 依托单位：
      Gifu University
    A Computational Approach to Study Ramsey Numbers
    • 批准号：
      17K00307
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.0万
    • 财政年份：
      2017
    • 负责人：
      Fujita Hiroshi
    • 依托单位：
      Kyushu University
    国内基金
    有关Ramsey数和Turán数的一些极值问题
    • 批准号：
      12161141003
    • 项目类别：
      --
    • 资助金额：
      200万元
    • 批准年份：
      2021
    • 负责人：
      陈耀俊
    • 依托单位：
      南京大学
    几类图的Ramsey 数研究
    • 批准号：
      2021JJ30208
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2021
    • 负责人：
      陈平鸽
    • 依托单位：
      湖南工业大学
    两个Ramsey数相关问题的研究
    • 批准号：
      12161066
    • 项目类别：
      地区科学基金项目
    • 资助金额：
      32万元
    • 批准年份：
      2021
    • 负责人：
      陈纲
    • 依托单位：
      宁夏大学
    Ramsey数和临界Ramsey数问题的研究
    • 批准号：
      12101156
    • 项目类别：
      青年科学基金项目（C类）
    • 资助金额：
      30.0万元
    • 批准年份：
      2021
    • 负责人：
      王烨
    • 依托单位：
      哈尔滨工程大学