(2022). Towards a SAT Encoding for Quantum Circuits. In International Conference on Theory and Applications of Satisfiability Testing.

PDF Cite Code arXiv

(2021). Advanced Equivalence Checking for Quantum Circuits. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems.

PDF Cite Code arXiv

(2020). JKQ: JKU Tools for Quantum Computing. In International Conference on Computer Aided Design.

PDF Cite Code

(2020). Improved DD-based Equivalence Checking of Quantum Circuits. In Asia and South Pacific Design Automation Conference.

PDF Cite Slides Code