http://msoeken.github.io [email protected]
@microsoft Switzerland Researcher in the areas of logic synthesis, quantum compilation, and formal verification.
Mathias Soeken
A circuit toolkit
msoeken
C++ command shell library
C++ truth table library
RevKit: Python quantum compilation library and framework
State-of-the-art in reversible logic synthesis
