Turbocharging Treewidth Heuristics.

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

Published in: Algorithmica (2019)

Keyphrases

heuristic search
search space
space complexity
search algorithm
bounded treewidth
upper bound
search strategies
databases
discrete random variables
boolean functions
logic programs
decision problems
special case
case study
graph structure
information systems
machine learning
tabu search algorithm
real time