Towards Equivalence Checking of Classical Circuits Using Quantum Computing. - Nils Quetschlich; Tobias Forster; Adrian Osterwind; Domenik Helms; Robert Wille (QCE, 2024)

The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing. - Robert Wille; Lucas Berent; Tobias Forster; Jagatheesan Kunasaikaran; Kevin Mato; Tom Peham; Nils Quetschlich; Damian Rovara; Aaron Sander; Ludwig Schmid; Daniel Schönberger; Yannick Stade; et al. (QSW, 2024)