Login / Signup

Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams.

Günther CharwatStefan Woltran
Published in: LPNMR (2015)
Keyphrases
  • tree decompositions
  • binary decision diagrams
  • artificial intelligence
  • databases
  • boolean functions
  • data streams
  • expert systems