A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application.

Tuojian Lyu Jan Olaf Blech Valeriy Vyatkin

Published in: ISIE (2021)

Keyphrases

case study
evolutionary algorithm
multi objective
database
data sets
artificial intelligence
optimal solution
optimization problems
global optimization
constrained optimization
optimization model