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]

Authors

Emilio Gamba

This author has not been identified. Look up 'Emilio Gamba' in Google

Bart Bogaerts 0001

This author has not been identified. Look up 'Bart Bogaerts 0001' in Google

Tias Guns

This author has not been identified. Look up 'Tias Guns' in Google