Lukas Burgholzer

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Towards a SAT encoding for quantum circuits: a journey from classical circuits to Clifford circuits and beyond2024-07-12Paper
Reordering decision diagrams for quantum computing is harder than you might think2022-11-11Paper
Efficient Construction of Functional Representations for Quantum Algorithms
Reversible Computation
2021-11-03Paper


Research outcomes over time


This page was built for person: Lukas Burgholzer