Robert Wille, Stefan Hillmich, Lukas Burgholzer,
"JKQ: JKU Tools for Quantum Computing"
: International Workshop on Programming Languages for Quantum Computing (PLanQC), 2021
Original Titel:
JKQ: JKU Tools for Quantum Computing
Sprache des Titels:
Englisch
Original Buchtitel:
International Workshop on Programming Languages for Quantum Computing (PLanQC)
Original Kurzfassung:
In this work, we present JKQ?a set of corresponding tools developed at the Johannes
Kepler University (JKU) Linz. JKQ provides a variety of software solutions for quantum
computing that addresses the respective tasks and challenges, e.g., for quantum circuit
simulation, compilation, or verification in a fashion that explicitly utilizes the potential and
the expertise of the design automation community. More precisely, the methods realized
in JKQ rest on dedicated data-structures (e.g., decision diagrams) or solving methods (e.g.,
reasoning engines) which are established and got perfected for design automation of
conventional circuits in the past decades, but have been re-developed in order to take the
particular characteristics of quantum computing into account.
Forschungs-