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 条
  • [21] Enhanced WalkSAT with Variable Neighborhood Search for MAX-SAT Problems
    Bouhmala, Noureddine
    Oselan, Mats
    Bradland, Oyestein
    PROCEEDINGS OF SAI INTELLIGENT SYSTEMS CONFERENCE (INTELLISYS) 2016, VOL 1, 2018, 15 : 368 - 376
  • [22] NEW RESEARCH LINES FOR MAX-SAT Exploiting the Recent Resolution Rule for Max-SAT
    Heras, Federico
    ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE, 2010, : 648 - 651
  • [23] Clone: Solving weighted Max-SAT in a reduced search space
    Pipatsrisawat, Knot
    Darwiche, Adnan
    AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 223 - +
  • [24] Enhanced Walksat with Finite Learning Automata For MAX-SAT
    Bouhmala, N.
    INTERNATIONAL JOURNAL OF COMBINATORIAL OPTIMIZATION PROBLEMS AND INFORMATICS, 2014, 5 (03): : 20 - 36
  • [25] Combining simulated annealing with local search heuristic for MAX-SAT
    Noureddine Bouhmala
    Journal of Heuristics, 2019, 25 : 47 - 69
  • [26] 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
  • [27] Solving weighted MAX-SAT via global equilibrium search
    Shylo, Oleg V.
    Prokopyev, Oleg A.
    Shylo, Vladimir R.
    OPERATIONS RESEARCH LETTERS, 2008, 36 (04) : 434 - 438
  • [28] Combining simulated annealing with local search heuristic for MAX-SAT
    Bouhmala, Noureddine
    JOURNAL OF HEURISTICS, 2019, 25 (01) : 47 - 69
  • [29] Stochastic local search for Partial Max-SAT: an experimental evaluation
    Haifa Hamad AlKasem
    Mohamed El Bachir Menai
    Artificial Intelligence Review, 2021, 54 : 2525 - 2566
  • [30] 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
12345