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 条
  • [1] Resolution for Max-SAT
    Bonet, Maria Luisa
    Levy, Jordi
    Manya, Felip
    ARTIFICIAL INTELLIGENCE, 2007, 171 (8-9) : 606 - 618
  • [2] Exploiting Cycle Structures in Max-SAT
    Li, Chu Min
    Manya, Felip
    Mohamedou, Nouredine
    Planes, Jordi
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, 2009, 5584 : 467 - +
  • [3] Submodular Max-SAT
    Azar, Yossi
    Gamzu, Iftah
    Roth, Ran
    ALGORITHMS - ESA 2011, 2011, 6942 : 323 - 334
  • [4] New inference rules for max-SAT
    LaRIA, Université de Picardie Jules Verne, 33 Rue St. Leu, 80039 Amiens Cedex 01, France
    不详
    不详
    J Artif Intell Res, 2007, (321-359):
  • [5] New inference rules for Max-SAT
    Li, Chu Min
    Manya, Felip
    Planes, Jordi
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 : 321 - 359
  • [6] New inference rules for max-SAT
    Li, Chu Min
    Manya, Felip
    Planes, Jordi
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 : 321 - 359
  • [7] A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems
    Borchers B.
    Furman J.
    Journal of Combinatorial Optimization, 1998, 2 (4) : 299 - 306
  • [8] A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
    Borchers, B
    Furman, J
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 1999, 2 (04) : 299 - 306
  • [9] A MAX-SAT Algorithm Portfolio
    Matos, Paulo
    Planes, Jordi
    Letombe, Florian
    Marques-Silva, Joao
    ECAI 2008, PROCEEDINGS, 2008, 178 : 911 - +
  • [10] A preprocessor for Max-SAT solvers
    Argelich, Josep
    Li, Chu Min
    Manya, Felip
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, 2008, 4996 : 15 - +
12345