Core-Boosted Linear Search for Incomplete MaxSAT.

Jeremias Berg, Emir Demirovic, Peter J. Stuckey

Browse the full CPAIOR paper archive.