A Simple yet Efficient MCSes Enumeration with SAT Oracles

Miyuki Koshimura, Ken Satoh

研究成果: 著書/レポートタイプへの貢献会議での発言

抜粋

The enumeration of the maximal satisfiable subsets (MSSes) or the minimal correction subsets (MCSes) of conjunctive normal form (CNF) formulas is a cornerstone task in various AI domains. This paper presents an algorithm that enumerates all MCSes with SAT oracles. Our algorithm is simple because it follows a plain algorithm without any techniques that decrease the number of calls to a SAT oracle. The experimental results show that our proposed method is more efficient than state-of-the-art MCS enumerators on average to deal with Partial-MaxSAT instances.

元の言語英語
ホスト出版物のタイトルIntelligent Information and Database Systems - 12th Asian Conference, ACIIDS 2020, Proceedings
編集者Ngoc Thanh Nguyen, Bogdan Trawinski, Kietikul Jearanaitanakij, Suphamit Chittayasothorn, Ali Selamat
出版者Springer
ページ191-201
ページ数11
ISBN(印刷物)9783030419639
DOI
出版物ステータス出版済み - 1 1 2020
イベント12th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2020 - Phuket, タイ
継続期間: 3 23 20203 26 2020

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
12033 LNAI
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

会議

会議12th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2020
タイ
Phuket
期間3/23/203/26/20

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント A Simple yet Efficient MCSes Enumeration with SAT Oracles' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Koshimura, M., & Satoh, K. (2020). A Simple yet Efficient MCSes Enumeration with SAT Oracles. : N. T. Nguyen, B. Trawinski, K. Jearanaitanakij, S. Chittayasothorn, & A. Selamat (版), Intelligent Information and Database Systems - 12th Asian Conference, ACIIDS 2020, Proceedings (pp. 191-201). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 12033 LNAI). Springer. https://doi.org/10.1007/978-3-030-41964-6_17