Image de couverture de livre

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kole, Abhoy, Djeridane, Mohammed E., Weingarten, Lennart, Datta, Kamalika, Drechsler, Rolf
Format:	Preprint
Publié:	2024
Sujets:	Quantum Physics Emerging Technologies
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Performance Gains in Quantum SAT Solvers Using ESOP Encoding
par: Assaad, Majd, et autres
Publié: (2026)

Measurement-Driven Adaptive Low-Overhead Implementation of Multi-Controlled Toffoli Gates
par: Kole, Abhoy, et autres
Publié: (2026)

Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla
par: Kole, Abhoy, et autres
Publié: (2026)

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
par: Quetschlich, Nils, et autres
Publié: (2024)

Quantum Error Mitigation by Pauli Check Sandwiching
par: Gonzales, Alvin, et autres
Publié: (2022)

Late Breaking Results: Hardware-Efficient Quantum Reservoir Computing via Quantized Readout
par: Pathak, Param, et autres
Publié: (2026)

Tailored Quantum Device Calibration with Statistical Model Checking
par: Mazurek, Filip, et autres
Publié: (2025)

Explore Simpler Eigenmarking: Quantum Entailment Model Checking
par: Katanyukul, Tatpong
Publié: (2026)

Hybrid Quantum Solvers in Production: how to succeed in the NISQ era?
par: Osaba, Eneko, et autres
Publié: (2024)

Efficient Quantum Circuit Design with a Standard Cell Approach, with an Application to Neutral Atom Quantum Computers
par: Dobbs, Evan E., et autres
Publié: (2022)

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem
par: Volpe, Deborah, et autres
Publié: (2024)

A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing
par: Tan, Daniel Bochen, et autres
Publié: (2024)

EQE-QAOA: An Equivalence-Preserving Qubit Efficient Framework for Combinatorial Optimization
par: Ma, Xiaoyu, et autres
Publié: (2026)

A SAT Encoding for Optimal Clifford Circuit Synthesis
par: Schneider, Sarah, et autres
Publié: (2022)

GRADE: Grover-based Benchmarking Toolkit for Assessing Quantum Hardware
par: Manor, Shay, et autres
Publié: (2025)

Graph-Based Pulse Representation for Diverse Quantum Control Hardware
par: Dalvi, Aniket S., et autres
Publié: (2024)

Robust Implementation of Discrete-time Quantum Walks in Any Finite-dimensional Quantum System
par: Nandi, Biswayan, et autres
Publié: (2024)

Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs
par: Zielinski, Sebastian, et autres
Publié: (2024)

Efficient Classical Processing of Constant-Depth Time Evolution Circuits in Control Hardware
par: Francis, Akhil, et autres
Publié: (2025)

Design automation and space-time reduction for surface-code logical operations using a SAT-based EDA kernel compatible with general encodings
par: Liao, Wang, et autres
Publié: (2026)

A Graph-Based Forensic Framework for Inferring Hardware Noise of Cloud Quantum Backend
par: Das, Subrata, et autres
Publié: (2025)

HAQA: A Hardware-Guided and Fidelity-Aware Strategy for Efficient Qubit Mapping Optimization
par: Sun, Wenjie, et autres
Publié: (2025)

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

Modeling and Simulating Rydberg Atom Quantum Computers for Hardware-Software Co-design with PachinQo
par: Ludmir, Jason Zev, et autres
Publié: (2024)

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

Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
par: Schmid, Ludwig, et autres
Publié: (2023)

Comparative Study of Quantum Transpilers: Evaluating the Performance of qiskit-braket-provider, qBraid-SDK, and Pytket Extensions
par: Louamri, Mohamed Messaoud, et autres
Publié: (2024)

Investigation of Hardware Architecture Effects on Quantum Algorithm Performance: A Comparative Hardware Study
par: Oralkhan, Askar, et autres
Publié: (2026)

Fast Numerical Solver of Ising Optimization Problems via Pruning and Domain Selection
par: Li, Langyu, et autres
Publié: (2023)

Equivalence checking of quantum circuits via intermediary matrix product operator
par: Sander, Aaron, et autres
Publié: (2024)

Mixed-Signal Quantum Circuit Design for Option Pricing Using Design Compiler
par: Kao, Yu-Ting, et autres
Publié: (2025)

Quantum Buffer Design Using Petri Nets
par: Shah, Syed Asad, et autres
Publié: (2024)

Design and architecture of the IBM Quantum Engine Compiler
par: Healy, Michael B., et autres
Publié: (2024)

Dancing the Quantum Waltz: Compiling Three-Qubit Gates on Four Level Architectures
par: Litteken, Andrew, et autres
Publié: (2023)

3SAT on an All-to-All-Connected CMOS Ising Solver Chip
par: Cılasun, Hüsrev, et autres
Publié: (2023)

FragQC: An Efficient Quantum Error Reduction Technique using Quantum Circuit Fragmentation
par: Basu, Saikat, et autres
Publié: (2023)

Efficient Variational Quantum Algorithms for the Generalized Assignment Problem
par: Mastroianni, Carlo, et autres
Publié: (2025)

MITS: A Quantum Sorcerer Stone For Designing Surface Codes
par: Chatterjee, Avimita, et autres
Publié: (2024)

EDA-Q: Electronic Design Automation for Superconducting Quantum Chip
par: Zhao, Bo, et autres
Publié: (2025)

A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures
par: Kunasaikaran, Jagatheesan, et autres
Publié: (2023)