1 citations · 1 across the 5 of their papers we have counts for
4 papers · 2 filters
Generalized LIMDDs: Succinctness and Canonicity for Decision Diagrams Modulo a Group
Arend-Jan Quist, Alexis de Colnet, Thomas Reps +1
A reduced ordered decision diagram is the minimal automaton of a function on words of fixed length: its nodes are the residuals, and reduction is the Myhill--Nerode quotient. We st…
Faster algorithm for achieving minimal-size quantum decision diagrams
Juul Sanders, Sebastiaan Brand, Arend-Jan Quist +1
The decision diagram (DD) data structure enables fast linear-algebra calculations by bringing vectors into a normal form and subsequently merging equivalent ones, yielding a minima…
From Tensor Networks to Tractable Circuits, and back
Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet +2
Tensor networks and circuits are widely used data structures to represent pseudo-Boolean functions. These two formalisms have been studied primarily in separate communities, and th…
Exact quantum decision diagrams with scaling guarantees for Clifford+ circuits and beyond
Arend-Jan Quist, Tim Coopmans, Alfons Laarman
A decision diagram (DD) is a graph-like data structure for homomorphic compression of Boolean and pseudo-Boolean functions. Over the past decades, decision diagrams have been succe…