Efficient Implementation of LIMDDs for Quantum Circuit Simulation

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

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	International Symposium on Model Checking of Software (SPIN)
Number of pages	19
Publication status	Published - 2023

Fields of science

@inproceedings{31d4580fc8cf44e694ee6312da8702c8,

title = "Efficient Implementation of LIMDDs for Quantum Circuit Simulation",

author = "Lieuwe Vinkhuijzen and Thomas Grurl and Stefan Hillmich and Sebastiaan Brand and Robert Wille and Alfons Laarman",

year = "2023",

language = "English",

booktitle = "International Symposium on Model Checking of Software (SPIN)",

}