Login / Signup
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams.
Günther Charwat
Stefan Woltran
Published in:
LPNMR (2015)
Keyphrases
</>
tree decompositions
binary decision diagrams
artificial intelligence
databases
boolean functions
data streams
expert systems