194 citations · 1.2k across the 78 of their papers we have counts for
3 papers · 1 filter
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
String diagrams are a powerful and intuitive graphical syntax, originated in the study of symmetric monoidal categories. In the last few years, they have found application in the m…
Tensor Network Rewriting Strategies for Satisfiability and Counting
Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis
We provide a graphical treatment of SAT and #SAT on equal footing. Instances of #SAT can be represented as tensor networks in a standard way. These tensor networks are interpreted…
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus
Louis Lemonnier, John van de Wetering, Aleks Kissinger
The ZH-calculus is a complete graphical calculus for linear maps between qubits that admits a straightforward encoding of hypergraph states and circuits arising from the Toffoli+Ha…