@inproceedings{SchidlerSzeider21b,
 author = {Andre Schidler and Stefan Szeider},
 booktitle = {Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence},
 doi = {10.24963/ijcai.2021/196},
 editor = {Zhi{-}Hua Zhou},
 keywords = {reveal, slim},
 title = {Computing Optimal Hypertree Decompositions with {SAT}},
 year = {2021}
}