Contributions to the Solution of Large Nonlinear Systems via Model-Order Reduction and Interval Constraint Solving Techniques