Using Cost Distributions to Guide Weight Decay in Local Search for SAT.
John ThorntonDuc Nghia PhamPublished in: PRICAI (2008)
Keyphrases
- search algorithm
- stochastic local search
- propositional satisfiability
- satisfiability testing
- search procedures
- satisfiability problem
- cost sensitive
- genetic algorithm
- sat solvers
- search strategies
- random sat instances
- sat solving
- probability distribution
- global search
- expected cost
- random variables
- optimal solution
- branch and bound
- constraint programming
- total cost
- power law
- sat problem
- combinatorial optimization
- simulated annealing
- supply chain