Login / Signup
Optimizing Solution Quality in Synchronization Synthesis.
Pavol Cerný
Edmund M. Clarke
Thomas A. Henzinger
Arjun Radhakrishna
Leonid Ryzhyk
Roopsha Samanta
Thorsten Tarrach
Published in:
CoRR (2015)
Keyphrases
</>
solution quality
simulated annealing
computational effort
test problems
optimal solution
computational efficiency
feasible solution
test instances
population diversity
benchmark instances
resource consumption
metaheuristic
branch and bound
genetic algorithm
np hard
training set
data streams
tabu search algorithm