Lukas Burgholzer
Lukas Burgholzer
Home
Publications
Software
Accomplishments
Light
Dark
Automatic
Sarah Schneider
Latest
A SAT Encoding for Optimal Clifford Circuit Synthesis
Limiting the Search Space in Optimal Quantum Circuit Mapping
Cite
×