commit 723afa0d323ff63aa40130c90cf86d6560e1dd47
parent 02ec604ebdfe99a0a6cc67d105cdc4109ce48080
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Tue, 3 Oct 2023 10:08:55 -0700
icdt url
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publis b/publis
@@ -7,7 +7,7 @@ Status: submitted
Id: amarilli2024ranked
Title: Ranked Enumeration for MSO on Trees via Knowledge Compilation
Authors: me pierreb fcapelli mikael
-Url: none
+Url: https://arxiv.org/abs/2310.00731
Status: submitted
Id: amarilli2024towards