Complexity of Minimum-Size Arc-Inconsistency Explanations

Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard. Complexity of Minimum-Size Arc-Inconsistency Explanations. In Christine Solnon, editor, 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel. Volume 235 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

@inproceedings{BessiereCCH22,
  title = {Complexity of Minimum-Size Arc-Inconsistency Explanations},
  author = {Christian Bessiere and Clément Carbonnel and Martin C. Cooper and Emmanuel Hebrard},
  year = {2022},
  doi = {10.4230/LIPIcs.CP.2022.9},
  url = {https://doi.org/10.4230/LIPIcs.CP.2022.9},
  researchr = {https://researchr.org/publication/BessiereCCH22},
  cites = {0},
  citedby = {0},
  booktitle = {28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel},
  editor = {Christine Solnon},
  volume = {235},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-240-2},
}