Login / Signup
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary.
Günther Charwat
Published in:
ICLP (Technical Communications) (2015)
Keyphrases
</>
binary decision diagrams
tree decompositions
dynamic programming
constraint satisfaction problems
boolean functions
symbolic model checking
tree decomposition
state space
planning problems
knowledge compilation
model checking
complexity bounds
machine learning
search algorithm
search space
hypertree decomposition