NEW RESEARCH LINES FOR MAX-SAT Exploiting the Recent Resolution Rule for Max-SAT

被引：0
|
作者：
Heras, Federico
机构：
来源：
ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE | 2010年
关键词：
Max-SAT; Combinatorial optimization; Inference; Local search; Systematic search; Logic programming;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents the-current state-of-the-art techniques for Max-SAT solving and points out new research lines in order to exploit the benefits of the novel resolution rule for Max-SAT.
引用
收藏
页码：648 / 651
页数：4
相关论文
共 50 条
  • [31] EVOLVED PREAMBLES FOR MAX-SAT HEURISTICS
    Rigo, Luis O., Jr.
    Barbosa, Valmir C.
    ECTA 2011/FCTA 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION THEORY AND APPLICATIONS AND INTERNATIONAL CONFERENCE ON FUZZY COMPUTATION THEORY AND APPLICATIONS, 2011, : 23 - 31
  • [32] A multilevel learning automata for MAX-SAT
    Bouhmala, Noureddine
    INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS, 2015, 6 (06) : 911 - 921
  • [33] An efficient solver for weighted Max-SAT
    Teresa Alsinet
    Felip Manyà
    Jordi Planes
    Journal of Global Optimization, 2008, 41 : 61 - 73
  • [34] Improved exact algorithms for MAX-SAT
    Chen, JE
    Kanj, IA
    DISCRETE APPLIED MATHEMATICS, 2004, 142 (1-3) : 17 - 27
  • [35] Should Algorithms for Random SAT and Max-SAT Be Different?
    Liu, Sixue
    de Melo, Gerard
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3915 - 3921
  • [36] Encoding Max-CSP into Partial Max-SAT
    Argelich, Josep
    Cabiscol, Alba
    Lynce, Ines
    Manya, Felip
    38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008), 2008, : 106 - 111
  • [37] A multilevel learning automata for MAX-SAT
    Noureddine Bouhmala
    International Journal of Machine Learning and Cybernetics, 2015, 6 : 911 - 921
  • [38] Solving Max-SAT as weighted CSP
    de Givry, S
    Larrosa, J
    Meseguer, P
    Schiex, T
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 363 - 376
  • [39] On solving the Partial MAX-SAT problem
    Fu, Zhaohui
    Malik, Sharad
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, 2006, 4121 : 252 - 265
  • [40] Modelling Max-CSP as partial Max-SAT
    Argelich, Josep
    Cabiscol, Alba
    Lynce, Ines
    Manya, Felip
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, 2008, 4996 : 1 - +
12345