Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT.
Wanxia WeiChu Min LiHarry ZhangPublished in: CP (2008)
Keyphrases
- variable weighting
- stochastic local search
- propositional satisfiability
- k means
- search algorithm
- particle swarm optimizer
- satisfiability testing
- semi supervised
- high dimensional data
- search procedures
- sat solvers
- satisfiability problem
- search strategies
- random sat instances
- variable selection
- search space
- propositional logic
- max sat
- sat problem
- tabu search
- particle swarm optimization
- text clustering
- genetic algorithm
- combinatorial optimization
- simulated annealing
- sat instances
- data sets
- information extraction
- clustering algorithm
- optimal solution