Sign in

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

Tuojian LyuJan Olaf BlechValeriy 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