A GP-Based Hyper-Heuristic Framework for Evolving 3-SAT Heuristics

被引：0
|
作者：
Bader-El-Den, Mohamed [1 ]
Poli, Ricccardo [1 ]
机构：
[1] Univ Essex, Dept Comp Sci, Colchester CO4 3SQ, Essex, England
来源：
GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2 | 2007年
关键词：
Genetic Programming; Hyper-Heuristic; SAT; Heuristics;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present, GP-HH, a framework for evolving local search 3-SAT heuristics based on GP. Evolved heuristics are compared against well-known SAT solvers with very encouraging results.
引用
收藏
页码：1749 / 1749
页数：1
相关论文
共 50 条
  • [1] Generating SAT local-search heuristics using a GP hyper-heuristic framework
    Bader-El-Den, Mohamed
    Poli, Riccardo
    [J]. ARTIFICIAL EVOLUTION, 2008, 4926 : 37 - 49
  • [2] EVOLVING EFFECTIVE INCREMENTAL SOLVERS FOR SAT WITH A HYPER-HEURISTIC FRAMEWORK BASED ON GENETIC PROGRAMMING
    Bader-El-Den, Mohamed
    Poli, Riccardo
    [J]. GENETIC PROGRAMMING THEORY AND PRACTICE VI, 2009, : 163 - 178
  • [3] A GP Hyper-Heuristic Approach for Generating TSP Heuristics
    Duflo, Gabriel
    Kieffer, Emmanuel
    Brust, Matthias R.
    Danoy, Gregoire
    Bouvry, Pascal
    [J]. 2019 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2019, : 521 - 529
  • [4] Evolving timetabling heuristics using a grammar-based genetic programming hyper-heuristic framework
    Bader-El-Den M.
    Poli R.
    Fatima S.
    [J]. Memetic Computing, 2009, 1 (3) : 205 - 219
  • [5] A hyper-heuristic based framework for dynamic optimization problems
    Topcuoglu, Haluk Rahmi
    Ucar, Abdulvahid
    Altin, Lokman
    [J]. APPLIED SOFT COMPUTING, 2014, 19 : 236 - 251
  • [6] A cooperative hyper-heuristic search framework
    Ouelhadj, Djamila
    Petrovic, Sanja
    [J]. JOURNAL OF HEURISTICS, 2010, 16 (06) : 835 - 857
  • [7] A Genetic Programming Hyper-Heuristic Approach for Evolving 2-D Strip Packing Heuristics
    Burke, Edmund K.
    Hyde, Matthew
    Kendall, Graham
    Woodward, John
    [J]. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2010, 14 (06) : 942 - 958
  • [8] MatHH: A Matlab-based Hyper-Heuristic framework
    Cruz-Duarte, Jorge M.
    Ortiz-Bayliss, Jose C.
    Amaya, Ivan
    [J]. SOFTWAREX, 2022, 18
  • [9] An investigation and extension of a hyper-heuristic framework
    Rattadilok, Prapa
    [J]. Informatica (Ljubljana), 2010, 34 (04) : 523 - 534
  • [10] Heuristics for Quantum Computing Dealing with 3-SAT
    Paulet, Jose J.
    LLana, Luis F.
    Calvo, Hernan Indibil
    Mezzini, Mauro
    Cuartero, Fernando
    Pelayo, Fernando L.
    [J]. MATHEMATICS, 2023, 11 (08)
12345