Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-2310-00731
%A Amarilli, Antoine
%A Bourhis, Pierre
%A Capelli, Florent
%A Monet, Mikaël
%D 2023
%J CoRR
%K dblp
%T Ranked Enumeration for MSO on Trees via Knowledge Compilation.
%U http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-00731
%V abs/2310.00731
@article{journals/corr/abs-2310-00731,
added-at = {2023-10-18T00:00:00.000+0200},
author = {Amarilli, Antoine and Bourhis, Pierre and Capelli, Florent and Monet, Mikaël},
biburl = {https://www.bibsonomy.org/bibtex/24a3a1ca2b5fdd29f6eb848a01f9b2e55/dblp},
ee = {https://doi.org/10.48550/arXiv.2310.00731},
interhash = {e46ddbdfc2128d76e7770cdc28a23db9},
intrahash = {4a3a1ca2b5fdd29f6eb848a01f9b2e55},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-09T00:06:01.000+0200},
title = {Ranked Enumeration for MSO on Trees via Knowledge Compilation.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-00731},
volume = {abs/2310.00731},
year = 2023
}