Computing Optimal Hypertree Decompositions with SAT

Schidler, Andre; Szeider, Stefan

doi:10.24963/ijcai.2021/196

by Andre Schidler, Stefan Szeider

Reference:

Computing Optimal Hypertree Decompositions with SATAndre Schidler, Stefan SzeiderProceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou, ed.), 2021.

Bibtex Entry:

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