Towards Solving Many-Valued MaxSAT

被引：0

作者：

Argelich, Josep ^{[1
]}

Domingo, Xavier ^{[3
]}

Li, Chu-Min ^{[2
]}

Manya, Felip ^{[4
]}

Planes, Jordi ^{[1
]}

机构：

[1] Univ Lleida, Lleida, Spain

[2] Univ Picardie, Amiens, France

[3] GPS MicroSAT, Barcelona, Spain

[4] IIIA CSIC, Barcelona, Spain

来源：

ISMVL 2006: 36TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC | 2006年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We define the MaxSAT problem for many-valued CNF formulas, called many-valued MaxSAT and establish its complexity class. We then describe a basic branch and bound algorithm for solving many-valued MaxSAT and an exact many-valued MaxSAT solver we have implemented. Finally, we report the experimental investigation we have performed to compare our solver with Boolean MaxSAT solvers on graph coloring instances. The results obtained indicate that many-valued CNF formulas can become a competitive formalism for representing and solving combinatorial optimization problems.

引用

页码：153 / +

页数：2

共 50 条

[1] Exploiting Many-Valued Variables in MaxSAT
Argelich, Josep
Li, Chu Min
Manya, Felip
2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), 2017, : 155 - 160
[2] Many-Valued MinSAT Solving
Argelich, Josep
Li, Chu Min
Manya, Felip
Zhu, Zhu
2014 IEEE 44TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2014), 2014, : 32 - 37
[3] From many-valued consequence to many-valued connectives
Emmanuel Chemla
Paul Egré
Synthese, 2021, 198 : 5315 - 5352
[4] On many-valued partitions and many-valued equivalence relations
Demirci, M
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2003, 11 (02) : 235 - 253
[5] From many-valued consequence to many-valued connectives
Chemla, Emmanuel
Egre, Paul
SYNTHESE, 2021, 198 (SUPPL 22) : 5315 - 5352
[6] Transporting many-valued sets along many-valued relations
Frascella, A.
Guido, C.
FUZZY SETS AND SYSTEMS, 2008, 159 (01) : 1 - 22
[7] Towards many-valued/fuzzy interpretation of quantum mechanics
Pykacz, Jaroslaw
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2011, 40 (01) : 11 - 21
[8] Towards an Implementation of Merging Operators in Many-Valued Logics
Costa, Vicent
Dellunde, Pilar
ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2022, 356 : 7 - 8
[9] MANY-VALUED PROTOTHETICS
WATANABE, S
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 409 - 410
[10] TOWARDS A MANY-VALUED LOGIC OF QUANTIFIED BELIEF - THE INFORMATION LATTICE
DRIANKOV, D
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1991, 6 (02) : 135 - 166

← 1 2 3 4 5 →