publication venue for Deterministic global optimization algorithm using piecewise relaxations and bound tightening with dynamic partitioning 2017