A Study on Extending SAT Solvers with Cardinality Constraints and its Applications

基数约束扩展SAT求解器及其应用研究

基本信息

批准号：
25330085
负责人：
Koshimura Miyuki
金额：
$ 3.16万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
起止时间：
2013-04-01 至 2016-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330085/
关键词：
SATソルバー基数制約 SAT符号化 MaxSAT応用 MaxSATソルバー組合せ最適

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Inductive Logic Programming Using a MaxSAT Solver

使用 MaxSAT 求解器进行归纳逻辑编程

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Noriaki Chikara; Miyuki Koshimura; Hiroshi Fujita; Ryuzo Hasegawa
通讯作者：
Ryuzo Hasegawa

高速SATソルバーZENN及びその高速化手法

高速SAT求解器ZENN及其加速方法

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
早田翔;安本猛;越村三幸;藤田博;長谷川隆三
通讯作者：
長谷川隆三

MaxSATを利用したAES暗号鍵の復元法の改良

使用MaxSAT改进AES加密密钥恢复方法

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
越村三幸;廖暁鵑
通讯作者：
廖暁鵑

SCSat: A Soft Constraint Guided SAT Solver

SCSat：软约束引导 SAT 求解器

DOI：
10.1007/978-3-642-39071-5_32
发表时间：
2013
期刊：
影响因子：
0
作者：
Hiroshi Fujita; Miyuki Koshimura; Ryuzo Hasegawa
通讯作者：
Ryuzo Hasegawa

極小モデル生成とMaxSATソルバーについて

关于最小模型生成和 MaxSAT 求解器

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
長谷川隆三
通讯作者：
長谷川隆三

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Koshimura Miyuki其他文献

A Simple yet Efficient MCSes Enumeration with SAT Oracles

使用 SAT Oracle 进行简单而高效的 MCS 枚举

DOI：
10.1007/978-3-030-41964-6_17
发表时间：
2020
期刊：
影响因子：
0
作者：
Koshimura Miyuki;Satoh Ken
通讯作者：
Satoh Ken

Modeling and Solving Scheduling in Overloaded Situations with Weighted Partial MaxSAT

使用加权部分 MaxSAT 对过载情况下的调度进行建模和求解

DOI：
10.1155/2021/9615463
发表时间：
2021
期刊：
Mathematical Problems in Engineering
影响因子：
0
作者：
Liao Xiaojuan;Zhang Hui;Koshimura Miyuki;Huang Rong;Yu Wenxin;Li Fagen
通讯作者：
Li Fagen

Improved WPM encoding for coalition structure generation under MC-nets

改进了 MC-nets 下联盟结构生成的 WPM 编码

DOI：
10.1007/s10601-018-9295-4
发表时间：
2018
期刊：
影响因子：
1.6
作者：
Liao Xiaojuan;Koshimura Miyuki;Nomoto Kazuki;Ueda Suguru;Sakurai Yuko;Yokoo Makoto
通讯作者：
Yokoo Makoto

Robust Weighted Partial Maximum Satisfiability Problem: Challenge to Σ2P-Complete Problem

鲁棒加权部分最大可满足性问题：对Σ2P完全问题的挑战

DOI：
10.1007/978-3-031-20862-1_2
发表时间：
2022
期刊：
影响因子：
0
作者：
Sugahara Tomoya;Yamashita Kaito;Barrot Nathanael;Koshimura Miyuki;Yokoo Makoto
通讯作者：
Yokoo Makoto

Robust Weighted Partial Maximum Satisfiability Problem: Challenge to Σ2P-Complete Problem

鲁棒加权部分最大可满足性问题：对Σ2P完全问题的挑战

DOI：
10.1007/978-3-031-20862-1_2
发表时间：
2022
期刊：
影响因子：
0
作者：
Sugahara Tomoya;Yamashita Kaito;Barrot Nathanael;Koshimura Miyuki;Yokoo Makoto
通讯作者：
Yokoo Makoto