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 条
  • [41] ARITHMETICS OF MANY-VALUED NUMBERS
    KLAUA, D
    MATHEMATISCHE NACHRICHTEN, 1973, 57 (1-6) : 275 - 306
  • [42] MANY-VALUED COMPUTATIONAL LOGICS
    STACHNIAK, Z
    JOURNAL OF PHILOSOPHICAL LOGIC, 1989, 18 (03) : 257 - 274
  • [43] Many-valued equalities and their representations
    Höhle, U
    LOGICAL, ALGEBRAIC, ANALYTIC, AND PROBABILISTIC ASPECTS OF TRIANGULAR NORMS, 2005, : 301 - 319
  • [44] FUNCTIONAL MANY-VALUED RELATIONS
    Della Stella, M. E.
    Guido, C.
    MATHEMATICA SLOVACA, 2015, 65 (04) : 891 - 921
  • [45] Complete Many-Valued Lattices
    Eklund, Patrik
    Gutierrez Garcia, Javier
    Hoehle, Ulrich
    Kortelainen, Jari
    2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2017,
  • [46] MANY-VALUED LOGICS AND THEIR ALGEBRAS
    ANSHAKOV, OM
    RYCHKOV, SV
    RUSSIAN MATHEMATICAL SURVEYS, 1990, 45 (06) : 139 - 140
  • [47] On many-valued Newtonian potentials
    Dixon, AC
    PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1904, 1 : 415 - 436
  • [48] ON MANY-VALUED LUKASIEWICZ ALGEBRAS
    SICOE, CO
    PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (08): : 725 - &
  • [49] Many-valued relation algebras
    Andrei Popescu
    algebra universalis, 2005, 53 : 73 - 108
  • [50] MODELS OF MANY-VALUED LOGICS
    FLETCHER, TJ
    AMERICAN MATHEMATICAL MONTHLY, 1963, 70 (04): : 381 - &
12345