@article{efficientlyexplainingcspswith1,
  title = {Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)},
  author = {Emilio Gamba and Bart Bogaerts and Tias Guns},
  year = {2023},
  eprint = {2303.11712},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2303.11712v3},
}