Abstract
Andr'e Schidler, Stefan Szeider. Computing optimal hypertree decompositions with SAT. Artificial Intelligence, volume 325, pages 104015, 2023.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.