Towards The Unification Of The Core-Guided And Hitting Set Maximum Satisfiability Approaches