67 citations · 203 across the 22 of their papers we have counts for
3 papers · 1 filter
Quantum circuits for floating-point arithmetic
Thomas Häner, Mathias Soeken, Martin Roetteler +1
Quantum algorithms to solve practical problems in quantum chemistry, materials science, and matrix inversion often involve a significant amount of arithmetic operations which act o…
The EPFL Logic Synthesis Libraries
Mathias Soeken, Heinz Riener, Winston Haaswijk +8
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design…
Programming Quantum Computers Using Design Automation
Mathias Soeken, Thomas Häner, Martin Roetteler
Recent developments in quantum hardware indicate that systems featuring more than 50 physical qubits are within reach. At this scale, classical simulation will no longer be feasibl…