Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization.

Panhua Guo Bohua Zhan Xiong Xu Shuling Wang Wenhui Sun

Published in: SETTA (2021)

Keyphrases

global optimization
constraint satisfaction problems
optimization algorithm
optimization problems
constrained optimization
combinatorial optimization
constraint propagation
optimization process
discrete optimization
databases
database systems
open source
source code
hybrid approaches