Complete Boolean Satisfiability Solving Algorithms Based on Local Search.
Wensheng GuoGuowu YangWilliam N. N. HungXiaoyu SongPublished in: J. Comput. Sci. Technol. (2013)
Keyphrases
- combinatorial optimization
- random sat instances
- stochastic local search
- sat solving
- search heuristics
- boolean optimization
- optimization problems
- combinatorial problems
- boolean satisfiability
- learning algorithm
- objective function
- orders of magnitude
- constraint programming
- sat solvers
- genetic algorithm
- search methods