#SAT Algorithms from Shrinkage.
Avishay TalPublished in: Electron. Colloquium Comput. Complex. (2015)
Keyphrases
- learning algorithm
- orders of magnitude
- computational cost
- social networks
- sat solving
- search algorithm
- computational complexity
- np hard
- optimization problems
- multiresolution
- stochastic local search algorithms
- stochastic local search
- computationally efficient
- neural network
- clustering algorithm
- image processing
- machine learning