Parameterized complexity of abduction in Schaefer's framework

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]

Abstract

Abstract is missing.