A Study on Extending SAT Solvers with Cardinality Constraints and its Applications
A Study on Extending SAT Solvers with Cardinality Constraints and its Applications
基数约束扩展SAT求解器及其应用研究
批准号：
25330085
负责人：
Koshimura Miyuki
金额：
$3.16万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Modulo計算に基づく重み付MaxSAT問題の基数制約符号化手法の改良
基于Modulo计算的加权MaxSAT问题基数约束编码方法的改进
基于Modulo计算的加权MaxSAT问题基数约束编码方法的改进
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[日下部茂, 荒木啓二郎, 有村寿高，長谷川隆三，藤田博，越村三幸，ZHA AOLONG，上村直輝]
通讯作者：
有村寿高，長谷川隆三，藤田博，越村三幸，ZHA AOLONG，上村直輝
SCSat3によるラムゼーグラフ探索について
关于使用 SCSat3 的 Ramsey 图搜索
关于使用 SCSat3 的 Ramsey 图搜索
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[美山翔平, 光来健一, 福永 力, 藤田 博]
通讯作者：
藤田 博
節集合の簡単化によるMaxSATソルバーの高速化
通过简化子句集加速 MaxSAT 求解器
通过简化子句集加速 MaxSAT 求解器
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Kenichi Kourai, Hiroki Ooba, 福永 力, 阿萬 裕久, 上村 直輝，越村 三幸，長谷川 隆三]
通讯作者：
上村 直輝，越村 三幸，長谷川 隆三
Reconstructing AES Key Schedule Images with SAT and MaxSAT
使用 SAT 和 MaxSAT 重建 AES 密钥计划映像
使用 SAT 和 MaxSAT 重建 AES 密钥计划映像
DOI：
10.1587/transinf.2015edp7223
发表时间：
2016
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
[Xiaojuan Liao, Hui Zhang, Miyuki Koshimura]
通讯作者：
Miyuki Koshimura
SCSat: A Soft Constraint Guided SAT Solver
SCSat：软约束引导 SAT 求解器
SCSat：软约束引导 SAT 求解器
DOI：
10.1007/978-3-642-39071-5_32
发表时间：
2013
期刊：
Proc. of SAT 2013
影响因子：
--
作者：
[Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa]
通讯作者：
Ryuzo Hasegawa
共 25 条
Problem Solving with SAT Oracles
-
批准号：19H04175
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$6.24万
-
财政年份：2019
-
负责人：Koshimura Miyuki
-
依托单位：
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
-
依托单位：