Re-using Auxiliary Variables for MaxSAT Preprocessing | IEEE Conference Publication | IEEE Xplore