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 条
  • [31] COMPLETENESS OF MANY-VALUED PROTOTHETIC
    SCHARLE, TW
    JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 363 - &
  • [32] Many-valued points and equality
    Drossos, C
    Mundici, D
    SYNTHESE, 2000, 125 (1-2) : 97 - 101
  • [33] Many-valued relation algebras
    Popescu, A
    ALGEBRA UNIVERSALIS, 2005, 53 (01) : 73 - 108
  • [34] Many-Valued Modal Logic
    Karniel, Amir
    Kaminski, Michael
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (415):
  • [35] Many-Valued Logic '12
    Ferraioli, Anna Rita
    Gerla, Brunella
    Russo, Ciro
    Spada, Luca
    MATHEMATICA SLOVACA, 2015, 65 (04) : 723 - 724
  • [36] Many-valued quantum algebras
    Ivan Chajda
    Radomír Halaš
    Jan Kühr
    Algebra universalis, 2009, 60 : 63 - 90
  • [37] Calculi for Many-Valued Logics
    Michael Kaminski
    Nissim Francez
    Logica Universalis, 2021, 15 : 193 - 226
  • [38] A STUDY IN MANY-VALUED LOGIC
    HACKSTAFF, LH
    BOCHENSKI, JM
    STUDIES IN SOVIET THOUGHT, 1962, 2 (01): : 37 - 48
  • [39] Many-valued quantum algebras
    Chajda, Ivan
    Halas, Radomir
    Kuehr, Jan
    ALGEBRA UNIVERSALIS, 2009, 60 (01) : 63 - 90
  • [40] 2-VALUED AND MANY-VALUED LOGIC
    ZINOVEV, AA
    SOVIET STUDIES IN PHILOSOPHY, 1963, 2 (1-2): : 69 - 84
12345