The EPFL logic synthesis libraries M Soeken, H Riener, W Haaswijk, E Testa, B Schmitt, G Meuli, F Mozafari, ...
arXiv preprint arXiv:1805.05121, 2018
125 2018 SAT-based {CNOT, T} quantum circuit synthesis G Meuli, M Soeken, G De Micheli
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
44 2018 Reversible pebbling game for quantum memory management G Meuli, M Soeken, M Roetteler, N Bjorner, G De Micheli
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 288-291, 2019
34 2019 The Role of Multiplicative Complexity in Compiling Low G Meuli, M Soeken, E Campbell, M Roetteler, G De Micheli
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019
28 2019 Evaluating ESOP optimization methods in quantum compilation flows G Meuli, B Schmitt, R Ehlers, H Riener, G De Micheli
Reversible Computation: 11th International Conference, RC 2019, Lausanne …, 2019
19 2019 Xor-And-Inverter Graphs for Quantum Compilation G Meuli, M Soeken, G De Micheli
npj Quantum Information 8 (1), 7, 2022
15 2022 Boolean satisfiability in quantum compilation M Soeken, G Meuli, B Schmitt, F Mozafari, H Riener, G De Micheli
Philosophical Transactions of the Royal Society A 378 (2164), 20190161, 2020
15 2020 Enabling accuracy-aware Quantum compilers using symbolic resource estimation G Meuli, M Soeken, M Roetteler, T Häner
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020
14 * 2020 Majority-based design flow for AQFP superconducting family G Meuli, V Possani, R Singh, SY Lee, AT Calvino, DS Marakkalage, ...
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 34-39, 2022
13 2022 A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+ T quantum network synthesis G Meuli, M Soeken, M Roetteler, N Wiebe, G De Micheli
2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), 664-669, 2018
10 2018 ROS: resource-constrained oracle synthesis for quantum computers G Meuli, M Soeken, M Roetteler, G De Micheli
QPL 2019, 2019
9 2019 Enumerating Optimal Quantum Circuits using Spectral Classification G Meuli, M Soeken, M Roetteler, G De Micheli
2020 IEEE International Symposium on Circuits and Systems (ISCAS), 1-5, 2020
8 2020 An RTL-to-GDSII Flow for Single Flux Quantum Circuits Based on an Industrial EDA Toolchain E Mlinar, S Whiteley, A Belov, S Chen, L Amaru, T Liu, Y Zhang, T Arifin, ...
IEEE Transactions on Applied Superconductivity, 2023
7 2023 The EPFL Logic Synthesis Libraries (2019) M Soeken, H Riener, W Haaswijk, E Testa, B Schmitt, G Meuli, F Mozafari, ...
arXiv preprint arXiv:1805.05121, 0
7 From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++ B Schmitt, F Mozafari, G Meuli, H Riener, G De Micheli
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021
5 2021 Reversible pebbling game for quantum memory management M Roetteler, G Meuli
US Patent App. 16/457,408, 2020
1 * 2020 Program compilation for large-scale quantum computers G Meuli
EPFL, 2020
1 2020 Automatic accuracy management for quantum programs via symbolic resource estimation T Haener, G Meuli, M Roetteler
US Patent 11,580,434, 2023
2023 From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++ B Schmitt Antunes, F Mozafari, G Meuli, H Riener, G De Micheli
DATE 2021 Design, Automation and Test in Europe Conference, 2021
2021 A Compiler for Parallel and Resource-Constrained Programmable in-Memory Computing G Meuli, M Soeken, PE Gaillardon, G De Micheli
Proceedings of the 26th International Workshop on Logic & Synthesis (IWLS), 2017
2017 
Mathias SoekenMicrosoftBestätigte E-Mail-Adresse bei epfl.ch
