Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided SearchIncomplete MaxSAT, maxSAT, Solution-guided search