Turbocharging Treewidth Heuristics.

Serge Gaspers Joachim Gudmundsson Mitchell Jones Julián Mestre Stefan Rümmele

Published in: IPEC (2016)

Keyphrases

upper bound
search space
space complexity
bounded treewidth
search algorithm
heuristic search
boolean functions
website
machine learning
data mining
heuristic methods
real time
reinforcement learning
lower bound
knowledge base
dynamic programming
search strategies