Parameterized Complexity of Weighted Team Definability.

Juha Kontinen Yasir Mahmood Arne Meier Heribert Vollmer

Published in: CoRR (2023)

Keyphrases

parameterized complexity
fixed parameter tractable
propositional logic
symmetry breaking
computational complexity
lower bound
data model
query language
global constraints