Logical Definability of NP Optimization Problems
Phokion G. KolaitisMadhukar N. ThakurPublished in: Inf. Comput. (1994)
Keyphrases
- optimization problems
- evolutionary algorithm
- cost function
- objective function
- metaheuristic
- fixed point
- computational complexity
- propositional logic
- optimization methods
- benchmark problems
- logical reasoning
- logical framework
- np complete
- np hard
- bayesian networks
- logical rules
- double exponential
- logical representation
- database
- logical structure
- traveling salesman problem
- information systems
- data mining