Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization.

Alexander Nadel

Browse the full FMCAD paper archive.