Fixed-Parameter Tractable Optimization Under DNNF Constraints.

Frédéric Koriche Daniel Le Berre Emmanuel Lonca Pierre Marquis

Published in: ECAI (2016)

Keyphrases

fixed parameter tractable
global constraints
parameterized complexity
np hard
optimization problems
np complete
constraint satisfaction
computational problems
conjunctive queries
boolean functions
objective function
data integration
query evaluation
theorem proving