Paper "Re-using Auxiliary Variables for MaxSAT Preprocessing" accepted to ICTAI 2015

The paper Re-using Auxiliary Variables for MaxSAT Preprocessing by Jeremias Berg, Paul Saikko, and Matti Järvisalo, has been accepted for publication in the proceedings of the IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI 2015) as part of the ICTAI 2015 SAT and CSP Track.