commit 1e0bf669327c61fb74f91d4fcae7c2ff6d2c3d8c parent b3bdcfd2f8eb2a0a2e646aae30a902735e074e87 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 16 Apr 2024 13:37:24 +0200 +amarilli2024circus Diffstat:
| authors | | | 13 | +++++++++++++ |
| publis | | | 11 | +++++++++++ |
2 files changed, 24 insertions(+), 0 deletions(-)
diff --git a/authors b/authors @@ -215,3 +215,16 @@ Url: https://www.cs.toronto.edu/~meel/ Id: dsuciu Name: Dan Suciu Url: https://homes.cs.washington.edu/~suciu/ + +Id: marenas +Name: Marcelo Arenas +Url: https://marceloarenas.cl/ + +Id: ychoi +Name: YooJung Choi +Url: https://yoojungchoi.github.io/ + +Id: bwang +Name: Benjie Wang +Url: https://dblp.uni-trier.de/pid/255/7169.html + diff --git a/publis b/publis @@ -1,3 +1,14 @@ +Id: amarilli2024circus +Title: A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata +Authors: me marenas ychoi mikael gbroeck bwang +Status: draft +Url: https://arxiv.org/abs/2404.09674 +Reviewed: no +Venue: arXiv:2404.09674v1 +HideCv: yes +Type: note +Issue: 2024 + Id: amarilli2024non Title: The Non-Cancelling Intersections Conjecture Authors: me mikael dsuciu