Core-Guided and Core-Boosted Search for CP.

Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey

Browse the full CPAIOR paper archive.