Keyphrases
- fixed parameter tractable
- parameterized complexity
- computational problems
- np hard
- np complete
- global constraints
- conjunctive queries
- bounded treewidth
- abstract argumentation
- constraint satisfaction problems
- approximation algorithms
- special case
- integrity constraints
- data exchange
- incomplete information
- desirable properties
- theorem proving
- worst case