Yasir Mahmood 0002, Arne Meier, Johannes Schmidt 0001. Parameterized complexity of abduction in Schaefer's framework. Journal of Logic and Computation, 31(1):266-296, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.