Explanations of unsatisfiability beyond minimal subsets

DOI10.1007/978-3-032-04590-4_10MaRDI QIDQ6884717zbMATH OpenFDO

Authors Pablo Martínez-Naredo, Raúl Mencía, Joao Marques-Silva, Carlos Mencía

Publication date 15 December 2025

zbMATH Keywords

measures of importanceunsatisfiability analysis

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Explanations of unsatisfiability beyond minimal subsets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6884717)