Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search