Our paper “SMT-RAT: An SMT-Compliant Non-Linear Real Arithmetic Toolbox“ was accepted at SAT’12.