Tags

decision diagrams

design automation

quantum computing

software tools

classical simulation

hybrid Schrödinger-Feynman

efficient construction

functional representation

equivalence checking

simulation