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