Skip to content

Handling non-unitaries in quantum circuit equivalence checking.

Lukas Burgholzer, Robert Wille

VenueA*DAC
Year2022
ProceedingsDAC

Browse the full DAC paper archive.