Ranked Enumeration for MSO on Trees via Knowledge Compilation

Antoine Amarilli, Pierre Bourhis, Florent Capelli, Mikaël Monet. Ranked Enumeration for MSO on Trees via Knowledge Compilation. In Graham Cormode, Michael Shekelyan, editors, 27th International Conference on Database Theory, ICDT 2024, March 25-28, 2024, Paestum, Italy. Volume 290 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Abstract

Abstract is missing.