Reinforcement Learning and Reactive Search: an adaptive MAX-SAT solver

被引：1
|
作者：
Battiti, Roberto [1 ]
Campigotto, Paolo [1 ]
机构：
[1] Univ Trento, Dipartimento Ingn & Sci Informaz, Trento, Italy
来源：
ECAI 2008, PROCEEDINGS | 2008年 / 178卷
关键词：
D O I：
10.3233/978-1-58603-891-5-909
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：909 / +
页数：2
相关论文
共 50 条
  • [1] An efficient solver for weighted Max-SAT
    Alsinet, Teresa
    Manya, Felip
    Planes, Jordi
    JOURNAL OF GLOBAL OPTIMIZATION, 2008, 41 (01) : 61 - 73
  • [2] An efficient solver for weighted Max-SAT
    Teresa Alsinet
    Felip Manyà
    Jordi Planes
    Journal of Global Optimization, 2008, 41 : 61 - 73
  • [3] 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 - +
  • [4] A Max-SAT solver with lazy data structures
    Alsinet, T
    Manyà, F
    Planes, J
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, 2004, 3315 : 334 - 342
  • [5] MINIMAXSAT: An efficient weighted max-SAT solver
    Heras, Federico
    Larrosa, Javier
    Oliveras, Albert
    Journal of Artificial Intelligence Research, 2008, 31 : 1 - 32
  • [6] MINIMAXSAT: An efficient weighted Max-SAT solver
    Heras, Federico
    Larrosa, Javier
    Oliveras, Albert
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2008, 31 : 1 - 32
  • [7] Adaptive memory-based local search for MAX-SAT
    Lu, Zhipeng
    Hao, Jin-Kao
    APPLIED SOFT COMPUTING, 2012, 12 (08) : 2063 - 2071
  • [8] On the Extension of Learning for Max-SAT
    Abrame, Andre
    Habet, Djamal
    STAIRS 2014, 2014, 264 : 1 - 10
  • [9] Iterated robust tabu search for MAX-SAT
    Smyth, K
    Hoos, HH
    Stützle, T
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2003, 2671 : 129 - 144
  • [10] A multilevel learning automata for MAX-SAT
    Bouhmala, Noureddine
    INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS, 2015, 6 (06) : 911 - 921
12345