Symbolic optimization with SMT solvers.

Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik

Browse the full POPL paper archive.