Solving Generalized Optimization Problems Subject to SMT Constraints.

Feifei Ma, Jun Yan, Jian Zhang

Browse the full AAIM paper archive.