Keyphrases
- higher order
- high order
- natural images
- sat solvers
- satisfiability problem
- sat problem
- markov random field
- sat solving
- conditional random fields
- low order
- boolean satisfiability
- pairwise
- search algorithm
- stochastic local search algorithms
- max sat
- graph coloring
- lambda calculus
- lower order
- neural network
- stochastic local search
- sat instances
- search problems
- phase transition
- multiscale
- knowledge base