Integrating Conflict Driven Clause Learning to Local Search

Gilles Audemard Jean-Marie Lagniez Bertrand Mazure Lakhdar Sais Integrating Conflict Driven Clause Learning to Local Search http://arxiv.org/abs/0910.1247 2009 CoRR abs/0910.1247 db/journals/corr/corr0910.html#abs-0910-1247 informal publication