-SAT Based on Covering Codes and Local Search.
Evgeny DantsinAndreas GoerdtEdward A. HirschUwe SchöningPublished in: ICALP (2000)
Keyphrases
- search algorithm
- answer set programming
- search space
- genetic algorithm
- tabu search
- sat solvers
- version space
- bounded model checking
- optimal solution
- simulated annealing
- systematic search
- error correction
- global search
- combinatorial optimization
- answer sets
- neighborhood search
- boolean satisfiability
- logic programs
- memetic algorithm
- ai planning
- constraint solver
- neural network
- logical operations
- hybrid ga
- stochastic local search
- search procedures
- search procedure
- planning problems
- search strategies
- metaheuristic