Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman. Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 544-551, 2009. [doi]
Abstract is missing.