| 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 | 117 | 2018 |
| Exact synthesis of ESOP forms H Riener, R Ehlers, BO Schmitt, G De Micheli Advanced Boolean Techniques, 177-194, 2020 | 21 | 2020 |
| Evaluating ESOP Optimization Methods in Quantum Compilation Flows G Meuli, B Schmitt, R Ehlers, H Riener, G De Micheli International Conference on Reversible Computation, 191-206, 2019 | 18 | 2019 |
| SAT-based area recovery in structural technology mapping B Schmitt, A Mishchenko, R Brayton 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), 586-591, 2018 | 14 | 2018 |
| 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 | 13 | 2020 |
| Compiling permutations for superconducting QPUs M Soeken, F Mozafari, B Schmitt, G De Micheli 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019 | 13 | 2019 |
| Scaling-up ESOP Synthesis for Quantum Compilation B Schmitt, M Soeken, G De Micheli, A Mishchenko 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 13-18, 2019 | 7 | 2019 |
| Using ZDDs in the mapping of quantum circuits K Smith, M Soeken, B Schmitt, G De Micheli, M Thornton arXiv preprint arXiv:1901.02406, 2019 | 5 | 2019 |
| Symbolic Algorithms for Token Swapping B Schmitt, M Soeken, G De Micheli 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 28-33, 2020 | 4 | 2020 |
| tweedledum: A Compiler Companion for Quantum Computing B Schmitt, G De Micheli | 4* | |
| 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 | 3 | 2021 |
| Fast-extract with cube hashing BO Schmitt, A Mishchenko, VN Kravets, RK Brayton, AI Reis 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), 145-150, 2017 | 3 | 2017 |
| Recursive Methods for Synthesizing Permutations on Limited-Connectivity Quantum Computers C Chen, B Schmitt, H Zhang, LS Bishop, A Javadi-Abhari arXiv preprint arXiv:2207.06199, 2022 | 2 | 2022 |
| Optimizing quantum circuit synthesis for permutations using recursion C Chen, B Schmitt, H Zhang, LS Bishop, A Javadi-Abhar Proceedings of the 59th ACM/IEEE Design Automation Conference, 7-12, 2022 | 2 | 2022 |
| Compilation flow for classically defined quantum operations B Schmitt, A Javadi-Abhari, G De Micheli 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 964-967, 2021 | 2 | 2021 |
| Optimizing Quantum Circuit Synthesis for Permutations on Limited Connectivity Topologies C Chen, H Zhang, B Schmitt, L Bishop, A Javadi-Abhari Bulletin of the American Physical Society, 2022 | | 2022 |
| Practical Compilation of Quantum Programs B Schmitt Antunes EPFL, 2022 | | 2022 |
| 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 |
Mathias SoekenMicrosoft在 epfl.ch 的电子邮件经过验证
