Core-Boosted Linear Search for Incomplete MaxSATcore-guided MaxSAT, incomplete solving, linear algorithm, Maximum Satisfiability, maxSAT, SAT-based MaxSAT