Daniel Solow, Roberto Szechtman, Enver Yücesan: Feasibility Determination When the Feasible Region is Defined by Non-Linear Inequalities. WSC 2020: 2800-2811