@misc{indiciae4c82c144ab05,
  title = {Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case},
  author = {Marcello Balduccini},
  year = {2011},
  url = {https://arxiv.org/abs/1102.2125},
  note = {Source identifier: 1102.2125}
}