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 条
  • [21] GoDEL ON MANY-VALUED LOGIC
    Lethen, Tim
    REVIEW OF SYMBOLIC LOGIC, 2023, 16 (03): : 655 - 671
  • [22] The algebra of many-valued quantities
    Young, RC
    MATHEMATISCHE ANNALEN, 1931, 104 : 260 - 290
  • [23] INTERPRETATION OF MANY-VALUED LOGIC
    URQUHART, A
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (02): : 111 - 114
  • [24] RESOLUTION FOR MANY-VALUED LOGICS
    MORGAN, CG
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 199 - 200
  • [25] MANY-VALUED LOGICAL CALCULI
    ANSHAKOV, OM
    RYCHKOV, SV
    DOKLADY AKADEMII NAUK SSSR, 1982, 264 (02): : 267 - 270
  • [26] Many-valued modal logics
    Fitting, Melvin C., 1600, (15): : 3 - 4
  • [27] Calculi for Many-Valued Logics
    Kaminski, Michael
    Francez, Nissim
    LOGICA UNIVERSALIS, 2021, 15 (02) : 193 - 226
  • [28] Many-valued and Kripke semantics
    Beziau, Jean-Yves
    AGE OF ALTERNATIVE LOGICS: ASSESSING PHILOSOPHY OF LOGIC AND MATHEMATICS TODAY, 2006, 3 : 89 - 101
  • [29] The Syntax of Many-Valued Relations
    Eklund, Patrik
    INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, IPMU 2016, PT II, 2016, 611 : 61 - 68
  • [30] The Modalized Many-Valued Logic
    Chen Bo
    Zhao Kang
    Zhang Bing
    Wu Cheng
    Ma Changhui
    Suiyuefei
    2018 14TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG), 2018, : 265 - 268
12345