Finding kernels or solving SAT.
Michal WalickiSjur K. DyrkolbotnPublished in: J. Discrete Algorithms (2012)
Keyphrases
- stochastic local search
- sat solving
- np complete problems
- search algorithm
- kernel methods
- satisfiability problem
- graph coloring
- sat problem
- feature space
- boolean optimization
- variable ordering
- sat instances
- finding optimal
- solving problems
- search strategies
- np complete
- multiple kernel learning
- phase transition
- boolean satisfiability
- constraint satisfaction problems
- sat encodings
- np hard
- search space