Estimating Problem Metrics for SAT Clause Weighting Local Search.
Wayne J. PullanLiang ZhaoJohn ThorntonPublished in: Australian Conference on Artificial Intelligence (2003)
Keyphrases
- search procedure
- search procedures
- search algorithm
- tabu search
- simulated annealing
- search space
- max sat
- evolutionary search
- sat solvers
- sat problem
- satisfiability problem
- systematic search
- stochastic local search
- search strategies
- propositional satisfiability
- memetic algorithm
- rigid body
- sat solving
- evolutionary algorithm
- neural network
- stochastic local search algorithms
- search problems
- global search
- randomly generated
- evaluation metrics
- phase transition
- branch and bound
- combinatorial optimization