Brendon K. Colbert, Hesameddin Mohammadi, Matthew M. Peet: Combining SOS with Branch and Bound to Isolate Global Solutions of Polynomial Optimization Problems. ACC 2018: 2190-2197