@article{zulehner2019advanced,
    title = {Advanced Simulation of Quantum Computations},
    author = {Zulehner, Alwin and Wille, Robert},
    journal = {Transactions on {CAD} of Integrated Circuits and Systems},
    volume = {38},
    number = {5},
    pages = {848--859},
    year = {2019},
    doi = {10.1109/TCAD.2018.2834427},
    url = {https://www.cda.cit.tum.de/files/eda/2018_tcad_advanced_simulation_quantum_computation.pdf}
}

@inproceedings{DBLP:conf/dac/HillmichMW20,
  author    = {Stefan Hillmich and
               Igor L. Markov and
               Robert Wille},
  title     = {Just Like the Real Thing: {F}ast Weak Simulation of Quantum Computation},
  booktitle = {Design Automation Conference},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {https://www.cda.cit.tum.de/files/eda/2020_dac_weak_simulation_quantum_computation.pdf}
}

@article{10.1145/3530776,
    author = {Hillmich, Stefan and Zulehner, Alwin and Kueng, Richard and Markov, Igor L. and Wille, Robert},
    title = {Approximating Decision Diagrams for Quantum Circuit Simulation},
    year = {2022},
    issue_date = {December 2022},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {3},
    number = {4},
    issn = {2643-6809},
    doi = {10.1145/3530776},
    abstract = {Quantum computers promise to solve important problems faster than conventional computers ever could. Underneath is a fundamentally different computational primitive that introduces new challenges for the development of software tools that aid designers of corresponding quantum algorithms. The different computational primitives render classical simulation of quantum circuits particularly challenging. While the logic simulation of conventional circuits is comparatively simple with linear complexity with respect to the number of gates, quantum circuit simulation has to deal with the exponential memory requirements to represent quantum states on non-quantum hardware with respect to the number of qubits. Decision Diagrams&nbsp;(DDs) address this challenge through exploitation of redundancies in matrices and vectors to provide significantly more compact representations in many cases. Moreover, the probabilistic nature of quantum computations enables another angle to tackle the complexity: Quantum algorithms are resistant to some degree against small inaccuracies in the quantum state as these only lead to small changes in the outcome probabilities. We propose to exploit this resistance against (small) errors to gain even more compact decision diagrams. In this work, we investigate the potential of approximation in quantum circuit simulation in detail. To this end, we first present four dedicated schemes that exploit the error resistance and efficiently approximate quantum states represented by decision diagrams. Subsequently, we propose two simulation strategies that utilize those approximations schemes in order to improve the efficiency of DD-based quantum circuit simulation, while, at the same time, allowing the user to control the resulting degradation in accuracy. We empirically show that the proposed approximation schemes reduce the size of decision diagrams substantially and also analytically prove the effect of multiple approximations on the attained accuracy. Eventually, this enables speed-ups of the resulting approximate quantum circuit simulation of up to several orders of magnitudes—again, while controlling the fidelity of the result.},
    journal = {ACM Transactions on Quantum Computing},
    month = {jul},
    articleno = {22},
    numpages = {21},
    keywords = {decision diagrams, approximating, Quantum computing, quantum circuit simulation},
}

@inproceedings{DBLP:conf/date/HillmichKMW21,
  author    = {Stefan Hillmich and
               Richard Kueng and
               Igor L. Markov and
               Robert Wille},
  title     = {As Accurate as Needed, as Efficient as Possible: {A}pproximations in {DD}-based Quantum Circuit Simulation},
  booktitle = {Design, Automation and Test in Europe},
  year      = {2021},
  url       = {https://www.cda.cit.tum.de/files/eda/2021_date_approximations_dd_baed_quantum_circuit_simulation.pdf}
}

@inproceedings{DBLP:conf/qce/BurgholzerBW21,
  author    = {Lukas Burgholzer and
               Hartwig Bauer and
               Robert Wille},
  editor    = {Hausi A. M{\"{u}}ller and
               Greg Byrd and
               Candace Culhane and
               Travis Humble},
  title     = {Hybrid {S}chr{\"{o}}dinger-{F}eynman Simulation of Quantum Circuits
               With Decision Diagrams},
  booktitle = {International Conference on Quantum Computing and Engineering},
  pages     = {199--206},
  publisher = {{IEEE}},
  year      = {2021},
  doi       = {10.1109/QCE52317.2021.00037},
  timestamp = {Tue, 30 Nov 2021 17:31:17 +0100},
  biburl    = {https://dblp.org/rec/conf/qce/BurgholzerBW21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  url       = {https://www.cda.cit.tum.de/files/eda/2021_qce_hybrid_schrodinger_feynman_simulation_with_decision_diagrams.pdf}
}

@ARTICLE{burgholzer2022simulation,
  author={Burgholzer, Lukas and Ploier, Alexander and Wille, Robert},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  title={Simulation Paths for Quantum Circuit Simulation with Decision Diagrams},
  year={2022},
  volume={},
  number={},
  doi={10.1109/TCAD.2022.3197969},
  url={https://www.cda.cit.tum.de/files/eda/2022_tcad_simulation_paths_for_decision_diagrams.pdf}
}

@inproceedings{DBLP:conf/date/GrurlKFW21,
  author    = {Thomas Grurl and
               Richard Kueng and
               J{\"{u}}rgen Fu{\ss} and
               Robert Wille},
  title     = {Stochastic Quantum Circuit Simulation Using Decision Diagrams},
  booktitle = {Design, Automation {\&} Test in Europe Conference},
  pages     = {194--199},
  publisher = {{IEEE}},
  year      = {2021},
  doi       = {10.23919/DATE51398.2021.9474135},
  timestamp = {Wed, 21 Jul 2021 10:05:23 +0200},
  biburl    = {https://dblp.org/rec/conf/date/GrurlKFW21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  url       = {https://www.cda.cit.tum.de/files/eda/2021_stochastic_quantum_circuit_simulation_using_decision_diagrams.pdf}
}

@article{grurl2022,
	author    = {T. Grurl and J. Fu{\ss} and R. Wille},
	title     = {{Noise-aware Quantum Circuit Simulation With Decision Diagrams}},
	journal   = {Transactions on {CAD} of Integrated Circuits and Systems},
	year      = {2022},
	url       = {https://www.cda.cit.tum.de/files/eda/2022_tcad_noise-aware_quantum_circuit_simulation_with_decision_diagrams.pdf}
}



@inproceedings{DBLP:conf/iccad/ZulehnerHW19,
  author    = {Alwin Zulehner and
               Stefan Hillmich and
               Robert Wille},
  editor    = {David Z. Pan},
  title     = {How to Efficiently Handle Complex Values? Implementing Decision Diagrams
               for Quantum Computing},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design,
               {ICCAD} 2019, Westminster, CO, USA, November 4-7, 2019},
  pages     = {1--7},
  publisher = {{ACM}},
  year      = {2019},
  doi       = {10.1109/ICCAD45719.2019.8942057},
  timestamp = {Tue, 24 Mar 2020 16:36:51 +0100},
  biburl    = {https://dblp.org/rec/conf/iccad/ZulehnerHW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  url       = {https://www.cda.cit.tum.de/files/eda/2019_iccad_implementing_decision_diagrams_for_quantum_computing.pdf}
}
