On the Computational Complexity of MaxSAT.
Mohamed El HalabyPublished in: Electron. Colloquium Comput. Complex. (2016)
Keyphrases
- computational complexity
- np hard
- special case
- low complexity
- np complete
- upper bound
- high computational complexity
- branch and bound algorithm
- combinatorial optimization
- motion estimation
- storage requirements
- sat solvers
- computational cost
- data sets
- computationally efficient
- computational efficiency
- machine learning
- optimal solution
- bit rate
- rate distortion
- heuristic search
- image processing
- search engine
- information retrieval
- data mining
- databases