Computing Optimal Hypertree Decompositions with SAT.

André Schidler Stefan Szeider

Published in: IJCAI (2021)

Keyphrases

hypertree decomposition
decomposition methods
satisfiability problem
database systems
search algorithm
dynamic programming
optimal solution
relational databases
search space
np complete
sat solvers