A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917639648968704 |
|---|---|
| author | Amarilli, Antoine Arenas, Marcelo Choi, YooJung Monet, Mikaël Broeck, Guy Van den Wang, Benjie |
| author_facet | Amarilli, Antoine Arenas, Marcelo Choi, YooJung Monet, Mikaël Broeck, Guy Van den Wang, Benjie |
| contents | This document is an introduction to two related formalisms to define Boolean functions: binary decision diagrams, and Boolean circuits. It presents these formalisms and several of their variants studied in the setting of knowledge compilation. Last, it explains how these formalisms can be connected to the notions of automata over words and trees. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_09674 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata Amarilli, Antoine Arenas, Marcelo Choi, YooJung Monet, Mikaël Broeck, Guy Van den Wang, Benjie Data Structures and Algorithms Databases Formal Languages and Automata Theory This document is an introduction to two related formalisms to define Boolean functions: binary decision diagrams, and Boolean circuits. It presents these formalisms and several of their variants studied in the setting of knowledge compilation. Last, it explains how these formalisms can be connected to the notions of automata over words and trees. |
| title | A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata |
| topic | Data Structures and Algorithms Databases Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2404.09674 |