Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT.

Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman

Browse the full IJCAI paper archive.