Fast-extract with cube hashing. - Bruno de O. Schmitt; Alan Mishchenko; Victor N. Kravets; Robert K. Brayton; André Inácio Reis (ASP-DAC, 2017)

SAT-based area recovery in structural technology mapping. - Bruno de O. Schmitt; Alan Mishchenko; Robert K. Brayton (ASP-DAC, 2018)

Exact Synthesis of ESOP Forms. - Heinz Riener; Rüdiger Ehlers; Bruno Schmitt; Giovanni De Micheli (CoRR, 2018)

Compiling Permutations for Superconducting QPUs. - Mathias Soeken; Fereshte Mozafari; Bruno Schmitt; Giovanni De Micheli (DATE, 2019)

Scaling-up ESOP Synthesis for Quantum Compilation. - Bruno Schmitt; Mathias Soeken; Giovanni De Micheli; Alan Mishchenko (ISMVL, 2019)

Evaluating ESOP Optimization Methods in Quantum Compilation Flows. - Giulia Meuli; Bruno Schmitt; Rüdiger Ehlers; Heinz Riener; Giovanni De Micheli (RC, 2019)

Symbolic Algorithms for Token Swapping. - Bruno Schmitt; Mathias Soeken; Giovanni De Micheli (ISMVL, 2020)

Compilation flow for classically defined quantum operations. - Bruno Schmitt; Ali Javadi-Abhari; Giovanni De Micheli (DATE, 2021)

From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++. - Bruno Schmitt; Fereshte Mozafari; Giulia Meuli; Heinz Riener; Giovanni De Micheli (DATE, 2021)

Optimizing quantum circuit synthesis for permutations using recursion. - Cynthia Chen; Bruno Schmitt; Helena Zhang; Lev S. Bishop; Ali Javadi-Abhari (DAC, 2022)

tweedledum: A Compiler Companion for Quantum Computing. - Bruno Schmitt; Giovanni De Micheli (DATE, 2022)

Recursive Methods for Synthesizing Permutations on Limited-Connectivity Quantum Computers. - Cynthia Chen; Bruno Schmitt; Helena Zhang; Lev S. Bishop; Ali Javadi-Abhari (CoRR, 2022)