The application of automated reasoning to formal models of combinatorial optimization.
Paul HelmanRobert VeroffPublished in: Appl. Math. Comput. (2001)
Keyphrases
- combinatorial optimization
- automated reasoning
- formal models
- traveling salesman problem
- metaheuristic
- combinatorial optimization problems
- branch and bound algorithm
- reasoning tasks
- simulated annealing
- knowledge representation
- optimization problems
- theorem proving
- probabilistic reasoning
- combinatorial problems
- formal model