tweedledum: A Compiler Companion for Quantum Computing
Schmitt, Bruno, De Micheli, Giovanni
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Get full text
Conference Proceeding
Boolean satisfiability in quantum compilation
Soeken, Mathias, Meuli, Giulia, Schmitt, Bruno, Mozafari, Fereshte, Riener, Heinz, De Micheli, Giovanni
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (07.02.2020)
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (07.02.2020)
Get full text
Journal Article
Boolean satisfiability in quantum compilation
Soeken, Mathias, Meuli, Giulia, Schmitt, Bruno, Mozafari, Fereshte, Riener, Heinz, De Micheli, Giovanni
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (07.02.2020)
Get full text
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (07.02.2020)
Journal Article
Compilation flow for classically defined quantum operations
Schmitt, Bruno, Javadi-Abhari, Ali, De Micheli, Giovanni
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Get full text
Conference Proceeding
Symbolic Algorithms for Token Swapping
Schmitt, Bruno, Soeken, Mathias, Micheli, Giovanni De
Published in 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) (01.11.2020)
Published in 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) (01.11.2020)
Get full text
Conference Proceeding
Fast-extract with cube hashing
de O Schmitt, Bruno, Mishchenko, Alan, Kravets, Victor N., Brayton, Robert K., Reis, Andre I.
Published in 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) (01.01.2017)
Published in 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) (01.01.2017)
Get full text
Conference Proceeding
Scaling-up ESOP Synthesis for Quantum Compilation
Schmitt, Bruno, Soeken, Mathias, De Micheli, Giovanni, Mishchenko, Alan
Published in 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2019)
Published in 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2019)
Get full text
Conference Proceeding
From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++
Schmitt, Bruno, Mozafari, Fereshte, Meuli, Giulia, Riener, Heinz, De Micheli, Giovanni
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Get full text
Conference Proceeding
Compiling Permutations for Superconducting QPUs
Soeken, Mathias, Mozafari, Fereshte, Schmitt, Bruno, Micheli, Giovanni De
Published in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2019)
Published in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2019)
Get full text
Conference Proceeding
Using ZDDs in the Mapping of Quantum Circuits
Smith, Kaitlin, Soeken, Mathias, Schmitt, Bruno, De Micheli, Giovanni, Thornton, Mitchell
Published in Electronic proceedings in theoretical computer science (01.05.2020)
Published in Electronic proceedings in theoretical computer science (01.05.2020)
Get full text
Journal Article
Recollective Experience During Recognition of Emotional Words in Clinical Depression
Jermann, Françoise, Van der Linden, Martial, Laurençon, Maïté, Schmitt, Bruno
Published in Journal of psychopathology and behavioral assessment (01.03.2009)
Published in Journal of psychopathology and behavioral assessment (01.03.2009)
Get full text
Journal Article
Web Resource
Recursive Methods for Synthesizing Permutations on Limited-Connectivity Quantum Computers
Chen, Cynthia, Schmitt, Bruno, Zhang, Helena, Bishop, Lev S, Javadi-Abhari, Ali
Published in arXiv.org (02.12.2022)
Published in arXiv.org (02.12.2022)
Get full text
Paper
Journal Article
SAT-based area recovery in structural technology mapping
Schmitt, Bruno, Mishchenko, Alan, Brayton, Robert
Published in 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) (01.01.2018)
Published in 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) (01.01.2018)
Get full text
Conference Proceeding
Using ZDDs in the Mapping of Quantum Circuits
Smith, Kaitlin, Soeken, Mathias, Schmitt, Bruno, De Micheli, Giovanni, Thornton, Mitchell
Published in arXiv.org (01.05.2020)
Published in arXiv.org (01.05.2020)
Get full text
Paper
Journal Article