/detkdecomp

Backtracking-Based Algorithm for Computing Hypertree-Decompositions

Primary LanguageC++

Stargazers