publist

commit 3d48febcec6247bc7af4aec78ab42c221e154aeb
parent 6b639e8768a110db9dded75295ca7f8887478a84
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu, 21 Sep 2023 02:25:22 -0700

+icdt

Diffstat:
publis
 | 
6
++++++

1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/publis b/publis
@@ -4,6 +4,12 @@ Authors: me tvanbremen kmeel
 Url: none
 Status: draft
 
+Id: amarilli2024ranked
+Title: Ranked Enumeration for MSO on Trees via Knowledge Compilation
+Authors: me pierreb fcapelli mikael
+Url: none
+Status: draft
+
 Id: amarilli2024towards
 Oldid: amarilli2023towards
 Title: Towards a Complexity Classification of Spanners with String Equality