Jeremias Berg, Paul Saikko, Matti Järvisalo. Re-using Auxiliary Variables for MaxSAT Preprocessing. In 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015. pages 813-820, IEEE, 2015. [doi]
Abstract is missing.