Towards Equivalence Checking of Classical Circuits Using Quantum Computing.

Nils Quetschlich, Tobias Forster, Adrian Osterwind, Domenik Helms, Robert Wille

Browse the full QCE paper archive.