Abstract
We discuss our method for enhancing incomplete MaxSAT solving by iteratively extracting and solving smaller subinstances. In contrast to previous work that uses large neighborhood search, we select subinstances guided by the graphical structure of the instance. This makes the subinstances local with respect to the graphical structure of the original instance.
Joint work with Vaidyanathan P. R. and Stefan Szeider.