Robert Wille
10 papers in the PaperMetrix corpus
Papers by this author
-
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits
2015
Motivated by the promises of significant speed-ups for certain problems, quantum computing received significant attention in the past. While much progress has been made in the development of synthesis methods for quantum circuits, new physical …
-
Logic Synthesis for Quantum State Generation
2016
Quantum computation established itself as a promising emerging technology and, hence, attracted considerable attention in the domain of computer-aided-design (CAD). However, quantum mechanical phenomena such as superposition, phase shifts, or entanglement lead to a logic …
-
As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation
2021
Quantum computers promise to solve important problems faster than conventional computers. However, unleashing this power has been challenging. In particular, design automation runs into (1) the probabilistic nature of quantum computation and (2) exponential requirements …
-
Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking
2022
Nowadays, Deep Learning (DL) methods often overcome the limitations of traditional signal processing approaches. Nevertheless, DL methods are barely applied in real-life applications. This is mainly due to limited robustness and distributional shift between training …
-
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers
2023
Circuit synthesis is the task of decomposing a given logical functionality into a sequence of elementary gates. It is (depth-)optimal if it is impossible to achieve the desired functionality with even shorter circuits. Optimal synthesis …
-
From Designing Quantum Processors to Large-Scale Quantum Computing Systems
2024
Design, simulation, analysis and verification methodologies are crucial for developing electronic circuits and systems at large. Whereas long-standing EDA software is used in the semiconductor technology, there is no counterpart for quantum computing systems yet. …
-
A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem
2024 · arXiv (Cornell University)
Leveraging quantum computers for optimization problems holds promise across various application domains. Nevertheless, utilizing respective quantum computing solvers requires describing the optimization problem according to the Quadratic Unconstrained Binary Optimization (QUBO) formalism and selecting a …
-
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
2025
To ensure resilience against the unavoidable noise in quantum computers, quantum information needs to be encoded using an error-correcting code, and circuits must have a particular structure to be fault-tolerant. Compilation of fault-tolerant quantum circuits …
-
Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?
2025 · arXiv (Cornell University)
Quantum computing has made significant advancements in the last years in both hardware and software. Unfortunately, the currently available Noisy Intermediate-Scale Quantum (NISQ) hardware is still heavily affected by noise. Many optimization techniques have been …