Maizia, Mohamed

1 publications

IJCAI 2025 A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds Victor Lagerkvist, Mohamed Maizia, Johannes Schmidt