Details
Title
Schmitt Antunes, Bruno
Sciper ID
279392
Affiliated labs
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
See complete list of 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
See complete list of publications (12)
Link to search
All resources
Record appears in
Authorities > People