Boosting Local Search Thanks to cdcl.

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais

Browse the full LPAR paper archive.