QCEC is academic software. Thus, many of its built-in algorithms have been published as scientific papers.

If you use QCEC in your work, we would appreciate if you cited [3].

Furthermore, if you use any of the particular algorithms such as the compilation flow result verification scheme [5], the dedicated stimuli generation schemes [4], or the transformation scheme for circuits containing non-unitaries [6], please consider citing their respective papers as well.

A full list of related papers is given below.


Robert Wille, Stefan Hillmich, and Lukas Burgholzer. JKQ: JKU tools for quantum computing. In International Conference On Computer Aided Design. 2020. [PDF].


Robert Wille, Stefan Hillmich, and Burgholzer Lukas. Tools for quantum computing based on decision diagrams. ACM Transactions on Quantum Computing, aug 2021. [PDF].


Lukas Burgholzer and Robert Wille. Advanced equivalence checking for quantum circuits. IEEE Transactions on CAD of Integrated Circuits and Systems, 2021. [PDF].


Lukas Burgholzer, Kueng Richard, and Robert Wille. Random stimuli generation for the verification of quantum circuits. In Asia and South Pacific Design Automation Conference. 2021. [PDF].


Lukas Burgholzer, Rudy Raymond, and Robert Wille. Verifying results of the IBM Qiskit quantum circuit compilation flow. In International Conference on Quantum Computing and Engineering. 2020. [PDF].


Lukas Burgholzer and Robert Wille. Handling non-unitaries in quantum circuit equivalence checking. In Design Automation Conference. 2022. [PDF].