Adding New Clauses for Faster Local Search.
Byungki ChaKazuo IwamaPublished in: AAAI/IAAI, Vol. 1 (1996)
Keyphrases
- search space
- search algorithm
- random sat instances
- global search
- genetic algorithm
- memetic algorithm
- simulated annealing
- first order logic
- combinatorial optimization
- tabu search
- neural network
- neighborhood search
- search procedures
- branch and bound
- optimal solution
- machine learning
- search procedure
- heuristic search
- lower bound
- conjunctive normal form
- systematic search
- database