Generating Hard Benchmark Problems for Weak Bisimulation.
Bernhard SteffenMarc JasperPublished in: From Reactive Systems to Cyber-Physical Systems (2019)
Keyphrases
- hard combinatorial optimization problems
- benchmark problems
- simulated annealing
- optimization problems
- test problems
- vehicle routing problem
- optimisation problems
- combinatorial optimization
- job shop scheduling problem
- metaheuristic
- vehicle routing problem with time windows
- rough sets
- cost function
- equivalence relation