Efficient Implementation of LIMDDs for Quantum Circuit Simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman. Efficient Implementation of LIMDDs for Quantum Circuit Simulation. In Georgiana Caltais, Christian Schilling 0001, editors, Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Volume 13872 of Lecture Notes in Computer Science, pages 3-21, Springer, 2023. [doi]

This author has not been identified. Look up 'Lieuwe Vinkhuijzen' in GoogleThis author has not been identified. Look up 'Thomas Grurl' in GoogleThis author has not been identified. Look up 'Stefan Hillmich' in GoogleThis author has not been identified. Look up 'Sebastiaan Brand' in GoogleThis author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Alfons Laarman' in Google

runs on WebDSL