Efficiently explaining CSPs with unsatisfiable subset optimization

DOI10.1613/jair.1.14260zbMath1543.68255MaRDI QIDQ6535423

Emilio Gamba, Tias Guns, Bart Bogaerts

Publication date: 20 December 2023

Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

zbMATH Keywords

constraint satisfactionexplanationsunsatisfiable subset optimization

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

This page was built for publication: Efficiently explaining CSPs with unsatisfiable subset optimization