YooJung Choi

1. A canonical generalization of OBDD
   2026/04/07 by Florent Capelli, YooJung Choi, Stefan Mengel +2 · 6 voices
   #cs.AI #cs.DS
2. A Compositional Atlas for Algebraic Circuits
   2024/12/07 by Benjie Wang, Denis Deratani Mauá, Wang, Benjie +5 · 2 voices · 4 citations
   Computer Science · #Advanced Algebra and Logic
3. A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata
   2024/04/15 by Antoine Amarilli, Amarilli, Antoine, Marcelo Arenas +9 · 1 citation
   Computer Science · #Data Structures and Algorithms (cs.DS) #Databases (cs.DB) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning and Algorithms #semigroups and automata theory