Finding sets of solutions to systems of nonlinear inequalities