Emma Rollon

Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving

The Implicit Hitting Set (HS) approach has shown very effective for MaxSAT solving. However, only preliminary promising results have been obtained for the very similar Weighted CSP framework. In this paper we contribute towards both a better theoretical understanding of the HS approach and a more ef…