Core guided MaxSAT solver based on BCD2 algorithm with a modified glucose SAT solver for incremental search.