Generating SAT Local-Search Heuristics Using a GP Hyper-Heuristic Framework

doi 10.1007/978-3-540-79305-2_4
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Local Search Characteristics of Incomplete SAT Procedures

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2001English

Local Search for Distributed SAT With Complex Local Problems

2002English

Local Search for Distributed SAT With Complex Local Problems

2002English

Dynamic Scheduling of Multi-Product Continuous Biopharmaceutical Facilities: A Hyper-Heuristic Framework

Computers and Chemical Engineering
Computer Science ApplicationsChemical Engineering
2019English

Local Search Heuristic for Multiple Knapsack Problem

International Journal of Intelligent Information Systems
2015English

Constructing Constrained-Version of Magic Squares Using Selection Hyper-Heuristics

Computer Journal
Computer Science
2013English

On the Development of Hyper Heuristics Based Framework for Scheduling Problems in Textile Industry

International Journal of Modeling and Optimization
2016English

Ensemble Move Acceptance in Selection Hyper-Heuristics

Communications in Computer and Information Science
MathematicsComputer Science
2016English

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy