Seguir
Sarah Schneider
Título
Citado por
Citado por
Ano
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
202022
A SAT Encoding for Optimal Clifford Circuit Synthesis
S Schneider, L Burgholzer, R Wille
arXiv preprint arXiv:2208.11713, 2022
142022
Optimizing SAT-Encodings for Quantum Layout Synthesis/submitted by Sarah Schneider
S Schneider
Universität Linz, 2021
2021
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–3