Computing optimal hypertree decompositions with SAT

Schidler, André; Szeider, Stefan

doi:10.1016/J.ARTINT.2023.104015

by André Schidler, Stefan Szeider

Reference:

Computing optimal hypertree decompositions with SATAndré Schidler, Stefan SzeiderArtificial Intelligence, volume 325, pages 104015, 2023.

Bibtex Entry:

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