TY  - RPRT
TI  - Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)
AU  - Emilio Gamba
AU  - Bart Bogaerts
AU  - Tias Guns
PY  - 2023
DO  - 10.1613/jair.1.14260
UR  - https://arxiv.org/abs/2303.11712
ID  - 2303.11712
ER  -