Efficient formulation and solution methods