Approximation Strategies for Incomplete MaxSAT
QMaxSAT: A Partial Max-SAT Solver