Computing optimal hypertree decompositions with SAT.

André Schidler Stefan Szeider

Published in: Artif. Intell. (2023)

Keyphrases

hypertree decomposition
optimal solution
sat solvers
search algorithm
dynamic programming
decomposition methods
feature space