Efficient implementation of LIMDDs for quantum circuit simulation

DOI10.1007/978-3-031-32157-3_1MaRDI QIDQ6049041

Alfons W. Laarman, Robert Wille, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Lieuwe Vinkhuijzen

Publication date: 16 October 2023

Published in: Model Checking Software (Search for Journal in Brave)

Mathematics Subject Classification ID

Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Quantum Circuit Simulation
• Quantum algorithms and the Fourier transform
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Quadratic speedup for finding marked vertices by Quantum walks
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Efficient implementation of LIMDDs for quantum circuit simulation