A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds. - Victor Lagerkvist; Mohamed Maizia; Johannes Schmidt 001 (CoRR, 2025)

Complexity of Faceted Explanations in Propositional Abduction. - Johannes Schmidt 001; Mohamed Maizia; Victor Lagerkvist; Johannes Klaus Fichte (CoRR, 2025)