@misc{indiciae674bda16b747,
  title = {Unsatisfiable Cores and Lower Bounding for Constraint Programming},
  author = {Nicholas Downing and Thibaut Feydy and Peter J. Stuckey},
  year = {2015},
  url = {https://arxiv.org/abs/1508.06096},
  note = {Source identifier: 1508.06096}
}