most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

2 citations · 4 across the 10 of their papers we have counts for

collaborators
Showing cs.CEShow all

1 paper · 1 filter

cs.CE2025

Numerical Errors in Quantitative System Analysis With Decision Diagrams

Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk +1

Decision diagrams (DDs) are a powerful data structure that is used to tackle the state-space explosion problem, not only for discrete systems, but for probabilistic and quantum sys…