Keyphrases
- bounded treewidth
- boolean functions
- recursive least squares
- np complete
- highly parallelizable
- ordered binary decision diagrams
- cnf formula
- model checking
- decision problems
- conjunctive queries
- temporal logic
- membership queries
- polynomial size
- relational learning
- fixed parameter tractable
- binary decision diagrams
- databases
- search space
- information retrieval