1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2024
A Compositional Atlas for Algebraic Circuits
Benjie Wang, Denis Deratani Mauá, Guy Van den Broeck +1
Circuits based on sum-product structure have become a ubiquitous representation to compactly encode knowledge, from Boolean functions to probability distributions. By imposing cons…
cs.DS2024★ 1 cited
A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata
Antoine Amarilli, Marcelo Arenas, YooJung Choi +3
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…