Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/3715346

Documents

In Collections

This item can be found in the following collections:

Vinkhuijzen, L.T.; Grurl, T.; Hillmich, S.; Brand, S.O.; Wille, R.; Laarman, A.W. (2023)

Efficient Implementation of LIMDDs for Quantum Circuit Simulation

Article in monograph or in proceedings
All authors
Vinkhuijzen, L.T.; Grurl, T.; Hillmich, S.; Brand, S.O.; Wille, R.; Laarman, A.W.
Editor(s)
Caltais, G.; Schilling, C.
Date
2023
Title of host publication
Lecture Notes in Computer Science; Model Checking Software. SPIN 2023
Pages
3 - 21
ISBN (print)
9783031321566
ISBN (electronic)
9783031321573
DOI
doi:10.1007/978-3-031-32157-3_1

Publication Series

Name
13872

Conference

Conference
Model Checking Software. SPIN 2023
Date
2023-04-26 - 2023-04-27
Location
Paris, France