Approximation Schemes for First-Order Definable Optimisation Problems.
Anuj DawarMartin GroheStephan KreutzerNicole SchweikardtPublished in: LICS (2006)
Keyphrases
- optimisation problems
- approximation schemes
- first order logic
- optimisation algorithm
- evolutionary computation
- approximation algorithms
- particle swarm
- benchmark problems
- particle swarm optimisation
- higher order
- action theories
- ant colony optimisation
- numerical methods
- test suite
- computational intelligence
- evolutionary algorithm
- artificial intelligence
- bin packing
- max csp
- special case
- genetic algorithm
- situation calculus
- optimization method
- particle swarm optimization
- genetic programming
- knowledge base
- neural network