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

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://arxiv.org/abs/1702.01332

Type: Journal Article/Review

Parent Publication: arXiv e-prints