Folgen
Bruno Schmitt
Bruno Schmitt
Ph.D Candidate
Bestätigte E-Mail-Adresse bei epfl.ch
Titel
Zitiert von
Zitiert von
Jahr
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
692018
Exact synthesis of ESOP forms
H Riener, R Ehlers, BO Schmitt, G De Micheli
Advanced Boolean Techniques, 177-194, 2020
122020
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
122019
Compiling permutations for superconducting QPUs
M Soeken, F Mozafari, B Schmitt, G De Micheli
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
122019
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
10*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
72020
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
52019
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
42019
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
32017
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
22020
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
12021
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
12021
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
tweedledum: A Compiler Companion for Quantum Computing
B Schmitt, G De Micheli
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14