Symbolic Bucket Elimination for Piecewise Continuous Constrained Optimization. - Zhijiang Ye; Buser Say; Scott Sanner (CPAIOR, 2018)