most citedManyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2017★ 3 cited

Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving

Andrea Callia D'Iddio, Michael Huth

Optimization of Mixed-Integer Non-Linear Programming (MINLP) supports important decisions in applications such as Chemical Process Engineering. But current solvers have limited abi…