Follow
Sarah Schneider
Title
Cited by
Cited by
Year
Limiting the Search Space in Optimal Quantum Circuit Mapping
L Burgholzer, S Schneider, R Wille
2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC), 466-471, 2022
262022
A SAT Encoding for Optimal Clifford Circuit Synthesis
S Schneider, L Burgholzer, R Wille
arXiv preprint arXiv:2208.11713, 2022
252022
Optimizing SAT-Encodings for Quantum Layout Synthesis/submitted by Sarah Schneider
S Schneider
Universität Linz, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–3