Lukas Kroc Ashish Sabharwal Carla P. Gomes Bart Selman Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. 544-551 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-097.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#KrocSGS09