@article{SchidlerSzeider23c,
 author = {Andr{\'{e}} Schidler and
Stefan Szeider},
 doi = {10.1016/J.ARTINT.2023.104015},
 journal = {Artificial Intelligence},
 pages = {104015},
 title = {Computing optimal hypertree decompositions with {SAT}},
 url = {https://doi.org/10.1016/j.artint.2023.104015},
 volume = {325},
 year = {2023}
}