Approximation Strategies for Incomplete MaxSAT
Hierarchical clustering schemes.