Login / Signup

SMT-based Verification Applied to Non-convex Optimization Problems.

Rodrigo F. AraujoIury BessaLucas Carvalho CordeiroJoao Edgar Chaves Filho
Published in: SBESC (2016)
Keyphrases
  • convex optimization
  • convex optimization problems
  • computational complexity
  • special case