%0 Conference Paper %1 conf/icdt/AmarilliBCM24 %A Amarilli, Antoine %A Bourhis, Pierre %A Capelli, Florent %A Monet, Mikaël %B ICDT %D 2024 %E Cormode, Graham %E Shekelyan, Michael %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 25:1-25:18 %T Ranked Enumeration for MSO on Trees via Knowledge Compilation. %U http://dblp.uni-trier.de/db/conf/icdt/icdt2024.html#AmarilliBCM24 %V 290 %@ 978-3-95977-312-6

@inproceedings{conf/icdt/AmarilliBCM24, added-at = {2024-03-15T00:00:00.000+0100}, author = {Amarilli, Antoine and Bourhis, Pierre and Capelli, Florent and Monet, Mikaël}, biburl = {https://www.bibsonomy.org/bibtex/2c3977cde26c99b56dcbcf0a11bcc4611/dblp}, booktitle = {ICDT}, crossref = {conf/icdt/2024}, editor = {Cormode, Graham and Shekelyan, Michael}, ee = {https://doi.org/10.4230/LIPIcs.ICDT.2024.25}, interhash = {caef4c8c6b7938e805d163bf17de7bcb}, intrahash = {c3977cde26c99b56dcbcf0a11bcc4611}, isbn = {978-3-95977-312-6}, keywords = {dblp}, pages = {25:1-25:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T21:26:33.000+0200}, title = {Ranked Enumeration for MSO on Trees via Knowledge Compilation.}, url = {http://dblp.uni-trier.de/db/conf/icdt/icdt2024.html#AmarilliBCM24}, volume = 290, year = 2024 }