A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm.
Michal KouckýVojtech RödlNavid TalebanfardPublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- np hard
- computational complexity
- learning algorithm
- detection algorithm
- cost function
- k means
- preprocessing
- dynamic programming
- worst case
- randomly generated
- matching algorithm
- expectation maximization
- optimization algorithm
- combinatorial optimization
- variable ordering
- neural network
- constraint satisfaction
- closest string
- constraint satisfaction problems
- simulated annealing
- probabilistic model
- evolutionary algorithm
- search space
- search algorithm
- similarity measure