@misc{indiciae54a360f49845,
  title = {Comparison of PBO solvers in a dependency solving domain},
  author = {Paulo Trezentos},
  year = {2010},
  doi = {10.4204/eptcs.29.3},
  url = {https://arxiv.org/abs/1007.1022},
  note = {Source identifier: 1007.1022}
}