Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization | IEEE Conference Publication | IEEE Xplore