SL method: Quasi-optimal solution computation of cost-based hypothetical reasoning using a combination of linear and nonlinear programming methods.