Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Emilio Gamba, Bart Bogaerts 0001, Tias Guns. Efficiently Explaining CSPs with Unsatisfiable Subset Optimization. In Zhi-Hua Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021. pages 1381-1388, ijcai.org, 2021. [doi]

@inproceedings{Gamba0G21,
  title = {Efficiently Explaining CSPs with Unsatisfiable Subset Optimization},
  author = {Emilio Gamba and Bart Bogaerts 0001 and Tias Guns},
  year = {2021},
  doi = {10.24963/ijcai.2021/191},
  url = {https://doi.org/10.24963/ijcai.2021/191},
  researchr = {https://researchr.org/publication/Gamba0G21},
  cites = {0},
  citedby = {0},
  pages = {1381-1388},
  booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021},
  editor = {Zhi-Hua Zhou},
  publisher = {ijcai.org},
}