Synthesizing MILP constraints for efficient and robust optimization

Jingbo Wang, Aarti Gupta, Chao Wang
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

Proc. ACM Program. Lang. 7(PLDI)
Association for Computing Machinery
New York, NY, USA
jun 2023
Note(s): SMT solver, MILP solver

Optimizes constraints that combine both integer and real constraints and use boolean operators. (Boolean operators are especially tricky because they are highly non-linear.)

Three steps

  1. Strengthen DSL by iterative decomposition
  2. Select good candidates on convex hull
  3. (Soundly) Prune infeasible candidates