Search Results for author:
Found 1 papers, 0 papers with code
Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
We therefore present a tool, ManyOpt, for MINLP optimization that enables experimentation with reduction techniques which transform a MINLP problem to feasibility checking realized by an SMT solver.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
