Limiting Negations in Bounded Treewidth and Upward Planar Circuits.

Jing He Hongyu Liang Jayalal Sarma

Published in: MFCS (2010)

Keyphrases

bounded treewidth
np complete
conjunctive queries
decision problems
fuzzy sets
highly parallelizable
boolean functions
relational learning
tractable cases
monadic datalog
np hard
databases
fixed parameter tractable