@misc{indiciaef2f2720a0809,
  title = {Driving CDCL Search},
  author = {Carmine Dodaro and Philip Gasteiger and Nicola Leone and Benjamin Musitsch and Francesco Ricca and Konstantin Schekotihin},
  year = {2016},
  url = {https://arxiv.org/abs/1611.05190},
  note = {Source identifier: 1611.05190}
}