Search Techniques for Non-linear Constraint Satisfaction Problems with Inequalities