A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata

Antoine Amarilli; Marcelo Arenas; YooJung Choi; Mikaël Monet; Guy Van den Broeck; Benjie Wang

A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata

Data Structures and Algorithms 2024-04-16 v1 Databases Formal Languages and Automata Theory

Authors: Antoine Amarilli , Marcelo Arenas , YooJung Choi , Mikaël Monet , Guy Van den Broeck , Benjie Wang

Abstract

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.

Keywords

binary decision diagrams Boolean circuits automata knowledge compilation Boolean functions

Cite

@article{arxiv.2404.09674,
  title  = {A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata},
  author = {Antoine Amarilli and Marcelo Arenas and YooJung Choi and Mikaël Monet and Guy Van den Broeck and Benjie Wang},
  journal= {arXiv preprint arXiv:2404.09674},
  year   = {2024}
}

Comments

26 pages

A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata

Abstract

Keywords

Cite

Comments

Related papers