Our paper “A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition” was accepted at CADE 2013.