:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kole, Abhoy, Djeridane, Mohammed E., Weingarten, Lennart, Datta, Kamalika, Drechsler, Rolf
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics Emerging Technologies
Online Access:	https://arxiv.org/abs/2409.03917
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Performance Gains in Quantum SAT Solvers Using ESOP Encoding
by: Assaad, Majd, et al.
Published: (2026)

Measurement-Driven Adaptive Low-Overhead Implementation of Multi-Controlled Toffoli Gates
by: Kole, Abhoy, et al.
Published: (2026)

Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla
by: Kole, Abhoy, et al.
Published: (2026)

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2024)

Quantum Error Mitigation by Pauli Check Sandwiching
by: Gonzales, Alvin, et al.
Published: (2022)

Late Breaking Results: Hardware-Efficient Quantum Reservoir Computing via Quantized Readout
by: Pathak, Param, et al.
Published: (2026)

Tailored Quantum Device Calibration with Statistical Model Checking
by: Mazurek, Filip, et al.
Published: (2025)

Explore Simpler Eigenmarking: Quantum Entailment Model Checking
by: Katanyukul, Tatpong
Published: (2026)

Hybrid Quantum Solvers in Production: how to succeed in the NISQ era?
by: Osaba, Eneko, et al.
Published: (2024)

Efficient Quantum Circuit Design with a Standard Cell Approach, with an Application to Neutral Atom Quantum Computers
by: Dobbs, Evan E., et al.
Published: (2022)

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem
by: Volpe, Deborah, et al.
Published: (2024)

A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing
by: Tan, Daniel Bochen, et al.
Published: (2024)

A SAT Encoding for Optimal Clifford Circuit Synthesis
by: Schneider, Sarah, et al.
Published: (2022)

EQE-QAOA: An Equivalence-Preserving Qubit Efficient Framework for Combinatorial Optimization
by: Ma, Xiaoyu, et al.
Published: (2026)

Robust Implementation of Discrete-time Quantum Walks in Any Finite-dimensional Quantum System
by: Nandi, Biswayan, et al.
Published: (2024)

GRADE: Grover-based Benchmarking Toolkit for Assessing Quantum Hardware
by: Manor, Shay, et al.
Published: (2025)

Graph-Based Pulse Representation for Diverse Quantum Control Hardware
by: Dalvi, Aniket S., et al.
Published: (2024)

Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs
by: Zielinski, Sebastian, et al.
Published: (2024)

Design automation and space-time reduction for surface-code logical operations using a SAT-based EDA kernel compatible with general encodings
by: Liao, Wang, et al.
Published: (2026)

Efficient Classical Processing of Constant-Depth Time Evolution Circuits in Control Hardware
by: Francis, Akhil, et al.
Published: (2025)

A Graph-Based Forensic Framework for Inferring Hardware Noise of Cloud Quantum Backend
by: Das, Subrata, et al.
Published: (2025)

HAQA: A Hardware-Guided and Fidelity-Aware Strategy for Efficient Qubit Mapping Optimization
by: Sun, Wenjie, et al.
Published: (2025)

Wigner's Friend as a Circuit: Inter-Branch Communication Witness Benchmarks on Superconducting Quantum Hardware
by: Altman, Christopher
Published: (2026)

Modeling and Simulating Rydberg Atom Quantum Computers for Hardware-Software Co-design with PachinQo
by: Ludmir, Jason Zev, et al.
Published: (2024)

Investigation of Hardware Architecture Effects on Quantum Algorithm Performance: A Comparative Hardware Study
by: Oralkhan, Askar, et al.
Published: (2026)

Noise-Induced Landscape Distortion in QAOA for Constrained Binary Optimization: Empirical Characterization on IBM Quantum Hardware
by: Meliksetian, Dikran S
Published: (2026)

Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
by: Schmid, Ludwig, et al.
Published: (2023)

Comparative Study of Quantum Transpilers: Evaluating the Performance of qiskit-braket-provider, qBraid-SDK, and Pytket Extensions
by: Louamri, Mohamed Messaoud, et al.
Published: (2024)

Dancing the Quantum Waltz: Compiling Three-Qubit Gates on Four Level Architectures
by: Litteken, Andrew, et al.
Published: (2023)

Equivalence checking of quantum circuits via intermediary matrix product operator
by: Sander, Aaron, et al.
Published: (2024)

Fast Numerical Solver of Ising Optimization Problems via Pruning and Domain Selection
by: Li, Langyu, et al.
Published: (2023)

Mixed-Signal Quantum Circuit Design for Option Pricing Using Design Compiler
by: Kao, Yu-Ting, et al.
Published: (2025)

Quantum Buffer Design Using Petri Nets
by: Shah, Syed Asad, et al.
Published: (2024)

Design and architecture of the IBM Quantum Engine Compiler
by: Healy, Michael B., et al.
Published: (2024)

3SAT on an All-to-All-Connected CMOS Ising Solver Chip
by: Cılasun, Hüsrev, et al.
Published: (2023)

FragQC: An Efficient Quantum Error Reduction Technique using Quantum Circuit Fragmentation
by: Basu, Saikat, et al.
Published: (2023)

Efficient Variational Quantum Algorithms for the Generalized Assignment Problem
by: Mastroianni, Carlo, et al.
Published: (2025)

MITS: A Quantum Sorcerer Stone For Designing Surface Codes
by: Chatterjee, Avimita, et al.
Published: (2024)

EDA-Q: Electronic Design Automation for Superconducting Quantum Chip
by: Zhao, Bo, et al.
Published: (2025)

A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures
by: Kunasaikaran, Jagatheesan, et al.
Published: (2023)