Model-Guided Approaches for MaxSAT Solving | IEEE Conference Publication | IEEE Xplore