Ranked Enumeration for MSO on Trees via Knowledge Compilation.

Antoine Amarilli, Pierre Bourhis, Florent Capelli, Mikal Monet

Browse the full ICDT paper archive.