Combining Adaptive Noise and Look-Ahead in Local Search for SAT.
Chu Min LiWanxia WeiHarry ZhangPublished in: SAT (2007)
Keyphrases
- search algorithm
- stochastic local search
- propositional satisfiability
- satisfiability testing
- satisfiability problem
- search strategies
- noise suppression
- image noise
- sat solvers
- search space
- noisy data
- missing data
- signal to noise ratio
- variable ordering
- genetic algorithm
- noise reduction
- combinatorial optimization
- tabu search
- backtrack search
- random noise
- neural network
- switching median filter
- noise free
- max sat
- median filter
- noise level