Experimental study on strategy of combining SAT algorithms.
Weifeng LuYuping ZhangPublished in: J. Comput. Sci. Technol. (1998)
Keyphrases
- experimental study
- theoretical analysis
- stochastic local search
- orders of magnitude
- experimental evaluation
- optimization problems
- times faster
- convergence rate
- reinforcement learning
- evolutionary algorithm
- worst case
- decision trees
- machine learning algorithms
- computer vision
- learning algorithm
- data mining algorithms
- computational efficiency
- synthetic datasets
- machine learning