Empirical Analysis of the RC2 MaxSAT Algorithm | IEEE Conference Publication | IEEE Xplore