@misc{indiciaee9de81dba06b,
  title = {Activity-Based Search for Black-Box Contraint-Programming Solvers},
  author = {L. Michel and P. Van Hentenryck},
  year = {2011},
  url = {https://arxiv.org/abs/1105.6314},
  note = {Source identifier: 1105.6314}
}