1. A method for deciding the satisfiability of a non-linear real decision problem, comprising: separating linear and non-linear constraints; determining feasibility of linear constraints using a linear solver; determining feasibility of non-linear constraints using a non-linear solver which employs interval constraint propagation (ICP); and validating interval solutions obtained from the non-linear solver using the linear solver.