SMT-based optimization for synchronous programs.

Yu Bai Jens Brandt Klaus Schneider

Published in: SCOPES (2011)

Keyphrases

optimization algorithm
control program
joint optimization
real time
optimization method
discrete optimization
statistical machine translation
optimization model
data sets
logic programs
optimization methods
constrained optimization
optimization problems
stable models
simulated annealing
genetic algorithm
databases