Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines.
Arlindo L. OliveiraStephen EdwardsPublished in: ALT (1996)
Keyphrases
- finite state machines
- exact algorithms
- knapsack problem
- approximation algorithms
- finite state automata
- model checking
- vehicle routing problem with time windows
- exact solution
- max sat
- combinatorial optimization
- heuristic methods
- benders decomposition
- combinatorial optimization problems
- data model
- metaheuristic
- particle swarm optimization
- computational complexity
- optimal solution