Notice détaillée
Titre
Schmitt Antunes, Bruno
Sciper ID
279392
Laboratoires affiliés
LSI1
Publications
Boolean satisfiability in quantum compilation
Compilation flow for classically defined quantum operations
Evaluating ESOP Optimization Methods in Quantum Compilation Flows
Exact Synthesis of ESOP Forms
From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++
Optimizing Quantum Circuit Synthesis for Permutations Using Recursion
SAT-Based Area Recovery in Structural Technology Mapping
Symbolic Algorithms for Token Swapping
Using ZDDs in the mapping of quantum circuits
tweedledum: A Compiler Companion for Quantum Computing
Voir toutes les publications (12)
Compilation flow for classically defined quantum operations
Evaluating ESOP Optimization Methods in Quantum Compilation Flows
Exact Synthesis of ESOP Forms
From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++
Optimizing Quantum Circuit Synthesis for Permutations Using Recursion
SAT-Based Area Recovery in Structural Technology Mapping
Symbolic Algorithms for Token Swapping
Using ZDDs in the mapping of quantum circuits
tweedledum: A Compiler Companion for Quantum Computing
Voir toutes les publications (12)
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People