Details
Title
Meuli, Giulia
Sciper ID
263406
Affiliated labs
LSI1
Publications
A Compiler for Parallel and Resource-Constrained Programmable in-Memory Computing
Boolean satisfiability in quantum compilation
Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Evaluating ESOP Optimization Methods in Quantum Compilation Flows
ROS : Resource Constrained Oracle Synthesis for Quantum Computers
Resource constrained oracle synthesis for quantum circuits
Reversible Pebbling Game for Quantum Memory Management
SAT-based {CNOT, T} Quantum Circuit Synthesis
The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits
Xor-And-Inverter Graphs for Quantum Compilation
See complete list of publications (13)
Boolean satisfiability in quantum compilation
Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Evaluating ESOP Optimization Methods in Quantum Compilation Flows
ROS : Resource Constrained Oracle Synthesis for Quantum Computers
Resource constrained oracle synthesis for quantum circuits
Reversible Pebbling Game for Quantum Memory Management
SAT-based {CNOT, T} Quantum Circuit Synthesis
The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits
Xor-And-Inverter Graphs for Quantum Compilation
See complete list of publications (13)
Link to search
All resources
Record appears in
Authorities > People