Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Emilio Gamba, Bart Bogaerts 0001, Tias Guns. Efficiently Explaining CSPs with Unsatisfiable Subset Optimization. J. Artif. Intell. Res. (JAIR), 78:709-746, 2023. [doi]

Abstract

Abstract is missing.