Completion-Time Optimization of Rewrite-Time Goal Solving.
Hubert BertlingHarald GanzingerPublished in: RTA (1989)
Keyphrases
- combinatorial optimization
- optimization algorithm
- quadratic programming
- discrete optimization
- global optimization
- database
- global optimization problems
- optimization problems
- optimization method
- nonlinear programming
- machine learning
- convex optimization problems
- convex programming
- optimization process
- solving problems
- efficient algorithms for solving
- optimization methods
- linear programming
- mobile robot
- information systems
- databases
- real time