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 条
  • [41] An asynchronous P system for MAX-SAT
    Imatomi, Junichiro
    Fujiwara, Akihiro
    2016 FOURTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR), 2016, : 572 - 578
  • [42] Inferring Clauses and Formulas in Max-SAT
    Py, Matthieu
    Cherif, Mohamed Sami
    Habet, Djamal
    2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021), 2021, : 632 - 639
  • [43] On approximation algorithms for hierarchical MAX-SAT
    Agarwal, S
    Condon, A
    JOURNAL OF ALGORITHMS, 1998, 26 (01) : 141 - 165
  • [44] A new upper bound for (n, 3)-MAX-SAT
    Bliznets I.A.
    Journal of Mathematical Sciences, 2013, 188 (1) : 1 - 6
  • [45] Analog dynamics for solving max-SAT problems
    Molnar, Botond
    Ercsey-Ravasz, Maria
    2014 14TH INTERNATIONAL WORKSHOP ON CELLULAR NANOSCALE NETWORKS AND THEIR APPLICATIONS (CNNA), 2014,
  • [46] Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
    Lin, Han
    Su, Kaile
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 2334 - 2339
  • [47] Towards Bridging the Gap Between SAT and Max-SAT Refutations
    Py, Matthieu
    Cherif, Mohamed Sami
    Habet, Djamal
    2020 IEEE 32ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2020, : 137 - 144
  • [48] Generalizing Core-Guided Max-SAT
    Liffiton, Mark H.
    Sakallah, Karem A.
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, 2009, 5584 : 481 - 494
  • [49] The power of Semidefinite Programming relaxations for MAX-SAT
    Gomes, Carla P.
    van Hoeve, Willem-Jan
    Leahu, Lucian
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, 2006, 3990 : 104 - 118
  • [50] Partial Max-SAT solvers with clause learning
    Argelich, Josep
    Manya, Felip
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, 2007, 4501 : 28 - +
12345