Satisfiability of Non-Linear Arithmetic over Algebraic Numbers


We propose an (incomplete) approach for satisfiability of non-linear
arithmetic over algebraic real numbers by reducing the problem to
non-linear arithmetic over the rationals/integers.