The Parameterized Complexity of Abduction.

Michael R. Fellows Andreas Pfandler Frances A. Rosamond Stefan Rümmele

Published in: AAAI (2012)

Keyphrases

parameterized complexity
fixed parameter tractable
global constraints
background knowledge
logic programming
symmetry breaking
special case
relational databases
desirable properties