Abstract
Andre Schidler, Stefan Szeider. Computing Optimal Hypertree Decompositions with SAT. Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou), 2021.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.