OPTIMIZATIONS FOR BERNSTEIN-BASED SOLVERS USING DOMAIN REDUCTION | AMiner