Login / Signup

Parameterized Complexity and Logic.

Jörg Flum
Published in: CiE (2007)
Keyphrases
  • parameterized complexity
  • modal logic
  • global constraints
  • fixed parameter tractable
  • databases
  • logic programming
  • automated reasoning
  • np complete
  • bounded treewidth