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 条
  • [21] MinMaxSat: A new weighted Max-SAT solver
    Heras, Federico
    Larrosa, Javier
    Oliveras, Albert
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, 2007, 4501 : 41 - +
  • [22] Three Truth Values for the SAT and MAX-SAT Problems
    Lardeux, Frederic
    Saubion, Frederic
    Hao, Jin-Kao
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 187 - 192
  • [23] Efficient Application of Max-SAT Resolution on Inconsistent Subsets
    Abrame, Andre
    Habet, Djamal
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 8656 : 92 - 107
  • [24] Improved exact algorithms for MAX-SAT
    Chen, J
    Kanj, IA
    LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 341 - 355
  • [25] Computing Max-SAT Refutations using SAT Oracles
    Py, Matthieu
    Cherif, Mohamed Sami
    Habet, Djamal
    2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021), 2021, : 404 - 411
  • [26] New bounds for MAX-SAT by clause learning
    Kulikov, Alexander S.
    Kutzkov, Konstantin
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2007, 4649 : 194 - +
  • [27] Parallel ACS for weighted MAX-SAT
    Drias, H
    Ibri, S
    COMPUTATIONAL METHODS IN NEURAL MODELING, PT 1, 2003, 2686 : 414 - 421
  • [28] Weight redistribution for unweighted MAX-SAT
    Ishtaiwi, Abdelraouf
    Thornton, John
    Sattar, Abdul
    AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 687 - 693
  • [29] An efficient solver for weighted Max-SAT
    Alsinet, Teresa
    Manya, Felip
    Planes, Jordi
    JOURNAL OF GLOBAL OPTIMIZATION, 2008, 41 (01) : 61 - 73
  • [30] Local Max-Resolution in Branch and Bound Solvers for Max-SAT
    Abrame, Andre
    Habet, Djamal
    2014 IEEE 26TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2014, : 336 - 343
12345