Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.
Ignasi AbíoMorgan DetersRobert NieuwenhuisPeter J. StuckeyPublished in: SAT (2011)
Keyphrases
- search algorithm
- search methods
- solution space
- search strategies
- search strategy
- search procedures
- genetic search
- stochastic local search
- search space
- optimal solution
- optimization problems
- search efficiency
- backtracking search
- stochastic local search algorithms
- candidate solutions
- max sat
- search problems
- satisfiability problem
- solution quality
- benchmark problems
- np complete
- particle swarm optimization
- query processing
- evolutionary algorithm