@misc{indiciaeb12e181e90ec,
  title = {Integrating Conflict Driven Clause Learning to Local Search},
  author = {Gilles Audenard and Jean-Marie Lagniez and Bertrand Mazure and Lakhdar Saïs},
  year = {2009},
  doi = {10.4204/eptcs.5.5},
  url = {https://arxiv.org/abs/0910.1247},
  note = {Source identifier: 0910.1247}
}