Problem Solving with SAT Oracles
Problem Solving with SAT Oracles
使用 SAT Oracle 解决问题
批准号：
19H04175
负责人：
Koshimura Miyuki
金额：
$6.24万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(19)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
垂直搬送機のMaxSATによる最適スケジューリング
使用 MaxSAT 进行垂直输送机的优化调度
使用 MaxSAT 进行垂直输送机的优化调度
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[越村 三幸, 野田 五十樹]
通讯作者：
野田 五十樹
ラムゼーグラフの二つの遷移
Ramsey 图的两次转变
Ramsey 图的两次转变
DOI：
--
发表时间：
2023
期刊：
影响因子：
--
作者：
[越村 三幸, 永野 崇]
通讯作者：
永野 崇
分割決定木を用いた分割関数ゲームの提携構造形成アルゴリズム
使用分区决策树的分区函数博弈联盟结构形成算法
使用分区决策树的分区函数博弈联盟结构形成算法
DOI：
--
发表时间：
2019
期刊：
電子情報通信学会論文誌 D
影响因子：
--
作者：
[査 澳龍, 越村 三幸, 櫻井 祐子, 横尾 真]
通讯作者：
横尾 真
推移関係を表すSAT節の削減
减少表达传递关系的 SAT 子句
减少表达传递关系的 SAT 子句
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[越村 三幸, 廖 暁鵑, 渡部 恵海, 櫻井 祐子, 横尾 真]
通讯作者：
横尾 真
DOI：
10.1007/978-3-030-33792-6_21
发表时间：
2019-10
期刊：
The Journal of Biological Chemistry
影响因子：
--
作者：
[Emi Watanabe;Miyuki Koshimura;Y. Sakurai;M. Yokoo]
通讯作者：
Emi Watanabe;Miyuki Koshimura;Y. Sakurai;M. Yokoo
共 17 条
Research and Development of Experiment Candidate Recommendation System with Reasoning and Learning
-
批准号：16K00304
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.91万
-
财政年份：2016
-
负责人：Koshimura Miyuki
-
依托单位：
A Study on Extending SAT Solvers with Cardinality Constraints and its Applications
-
批准号：25330085
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.16万
-
财政年份：2013
-
负责人：Koshimura Miyuki
-
依托单位：