Keyphrases
- modal logic
- cost function
- computational complexity
- objective function
- detection algorithm
- computational cost
- dynamic programming
- preprocessing
- matching algorithm
- learning algorithm
- k means
- search space
- worst case
- higher order
- decision procedures
- np hard
- simulated annealing
- optimization algorithm
- optimal solution
- database design