Efficient Implementation of LIMDDs for Quantum Circuit Simulation

Author(s):: Vinkhuijzen, L.T. (0000-0002-8199-0901); Grurl, T.; Hillmich, S.; Brand, S.O. (0000-0002-7666-2794); Wille, R.; Laarman, A.W. (0000-0002-2433-4174)

Editor(s):: Caltais, G.; Schilling, C.

Published: 2023
Publication type: Article in monograph or in proceedings

Date issued: 2023
Language: English
Publisher: Cham: Springer
Is part of: Lecture Notes in Computer Science (2023), Pt. 13872, p. 3-21
ISBN source: 9783031321566
hdl: 1887/3715346
doi: 10.1007/978-3-031-32157-3_1

Conference

Meeting name: Model Checking Software. SPIN 2023
Meeting location: Paris, France
Meeting date: 2023-04-26 - 2023-04-27