ERD

Decoding quantum color codes with MaxSAT

Project: DA QC

Updated at: 01-07-2025

Show more information

Project acronym DA QC

Periodic Reporting for period 3 - DA QC (Design Automation for Quantum Computing)

Project: DA QC

Updated at: 01-07-2025

Show more information

Project acronym DA QC

A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Using Compiler Frameworks for the Evaluation of Hardware Design Choices in Trapped-Ion Quantum Computers

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Utilizing Resource Estimation for the Development of Quantum Computing Applications

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Automatically Refining Assertions for Efficient Debugging of Quantum Programs

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Stripping Quantum Decision Diagrams of their Identity

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

A Framework to Formulate Pathfinding Problems for Quantum Computing

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Improving Figures of Merit for Quantum Circuit Compilation

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Towards Equivalence Checking of Classical Circuits Using Quantum Computing

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

A Framework for Debugging Quantum Programs

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Towards Hamiltonian Simulation with Decision Diagrams

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Analog Information Decoding of Bosonic Quantum Low-Density Parity-Check Codes

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers (Extended Abstract)

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Towards Application-Aware Quantum Circuit Compilation

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean...

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and...

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Shuttling for Scalable Trapped-Ion Quantum Computers

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

RCGP: An Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient Cartesia...

Project: DA QC

Updated at: 01-05-2025

Show more information

Project acronym DA QC

Resources