-SAT algorithms using biased-PPSZ.
Thomas Dueholm HansenHaim KaplanOr ZamirUri ZwickPublished in: STOC (2019)
Keyphrases
- learning algorithm
- search strategies
- benchmark datasets
- optimization problems
- combinatorial problems
- neural network
- orders of magnitude
- computationally efficient
- computational cost
- constraint satisfaction problems
- machine learning algorithms
- state space
- metaheuristic
- times faster
- combinatorial optimization
- search methods
- significant improvement
- computer vision