17 citations · 17 across the 1 of their papers we have counts for
2 papers
quant-ph2022★ 17 cited
A SAT Encoding for Optimal Clifford Circuit Synthesis
Sarah Schneider, Lukas Burgholzer, Robert Wille
Executing quantum algorithms on a quantum computer requires compilation to representations that conform to all restrictions imposed by the device. Due to devices' limited coherence…
quant-ph2021
Limiting the Search Space in Optimal Quantum Circuit Mapping
Lukas Burgholzer, Sarah Schneider, Robert Wille
Executing quantum circuits on currently available quantum computers requires compiling them to a representation that conforms to all restrictions imposed by the targeted architectu…