Detail publikace
Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization
JOBRANOVÁ, S.; LENGÁL, O.; CHEN, T.; CHEN, Y.; JIANG, J. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. Association for Computing Machinery, 2024. p. 0-0. ISBN: 979-8-4007-1077-3.
Název česky
Akcelerace simulace kvantových obvodů pomocí symbolické exekuce a sumarizace smyček
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Klíčová slova
quantum circuit simulation binary decision diagrams symbolic execution loop summarization
Abstrakt
Článek přináší výrazný pokrok v simulaci kvantových obvodů se smyčkami za pomocí symbolické exekuce a sumarizace smyček.
Rok
2024
Sborník
IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA
ISBN
979-8-4007-1077-3
Vydavatel
Association for Computing Machinery
DOI
BibTeX
@inproceedings{BUT189135,
author="JOBRANOVÁ, S. and LENGÁL, O. and CHEN, T. and CHEN, Y. and JIANG, J.",
title="Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization",
booktitle="IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA",
year="2024",
publisher="Association for Computing Machinery",
doi="10.1145/3676536.3676711",
isbn="979-8-4007-1077-3"
}