Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Lecture notes in computer science

Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams

Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler

Published Jan 1, 2013• 20 citations
Publisher
DOI
10.1007/978-3-642-36315-3_15

Related papers

Quantum Multiple-Valued Decision Diagrams

Michael D. Miller, Mitchell Aaron Thornton

Synthesis lectures on digital circuits and systems•Jan 1, 2008•0 citations

Quantum Multiple-Valued Decision Diagrams

Philipp Niemann, Robert Wille

SpringerBriefs in physics•Jan 1, 2017•4 citations

Quantum Circuit Simulation With Decision Diagrams

Thomas Grurl, Jürgen Fuß, Robert Wille

Synthesis lectures on engineering, science, and technology•Nov 29, 2024•0 citations

Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Stefan Hillmich, Robert Wille

Synthesis lectures on engineering, science, and technology•Sep 27, 2023•1 citation

Simulation Paths for Quantum Circuit Simulation with Decision Diagrams

Lukas Burgholzer, Robert Wille

Springer eBooks•Jan 1, 2026•0 citations

Noise-Aware Quantum Circuit Simulation with Decision Diagrams

Thomas Grurl, Jürgen Fuß, Robert Wille

Synthesis lectures on engineering, science, and technology•Nov 29, 2024•0 citations