Cover Image

Design automation and space-time reduction for surface-code logical operations using a SAT-based EDA kernel compatible with general encodings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liao, Wang, Tokami, Rei, Suzuki, Yasunari
Format:	Preprint
Published:	2026
Subjects:	Quantum Physics Emerging Technologies
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

QCEDA: Using Quantum Computers for EDA
by: Jung, Matthias, et al.
Published: (2024)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
by: Kole, Abhoy, et al.
Published: (2024)

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

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

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

Distributed quantum logic algorithm
by: Arseniev, Boris
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)

Quantum data encoding as a distinct abstraction layer in the design of quantum circuits
by: Agliardi, Gabriele, et al.
Published: (2024)

Averting multi-qubit burst errors in surface code magic state factories
by: Chadwick, Jason D., et al.
Published: (2024)

Quantum circuits for discrete-time quantum walks with position-dependent coin operator
by: Nzongani, Ugo, et al.
Published: (2022)

Adjustable-depth quantum circuit for position-dependent coin operators of discrete-time quantum walks
by: Nzongani, Ugo, et al.
Published: (2023)

Accelerating large-scale linear algebra using variational quantum imaginary time evolution
by: Aboumrad, Willie, et al.
Published: (2025)

Design and execution of quantum circuits using tens of superconducting qubits and thousands of gates for dense Ising optimization problems
by: Maciejewski, Filip B., et al.
Published: (2023)

Quantum approximate optimization algorithm with random and subgraph phase operators
by: Wilkie, Anthony, et al.
Published: (2024)

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

CAbLECAR: efficiently scheduling QLDPC codes on a tileable spin qubit chip with shuttling
by: Chadwick, Jason D., et al.
Published: (2026)

Nearest neighbor synthesis of CNOT circuits on general quantum architectures
by: Chen, Xinyu, et al.
Published: (2023)

Spintronic logic: from transducers to logic gates and circuits
by: Adelmann, Christoph, et al.
Published: (2024)

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

Optimizing compilation of error correction codes for 2xN quantum dot arrays and its NP-hardness
by: Micciche, Anthony, et al.
Published: (2025)

Asymptotic yet practical optimization of quantum circuits implementing GF($2^m$) multiplication and division operations
by: Yosri, Noureldin, et al.
Published: (2025)

Quantum Privacy-preserving Two-party Circle Intersection Protocol Based on Phase-encoded Query
by: Li, Zi-Xian, et al.
Published: (2023)

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)

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

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

Accurate modeling of continuous-time SAT solvers in SPICE
by: Pershin, Yuriy V., et al.
Published: (2024)

Stacking the Odds: Full-Stack Quantum System Design Space Exploration
by: Safi, Hila, et al.
Published: (2025)

Introducing Reduced-Width QNNs, an AI-inspired Ansatz Design Pattern
by: Stein, Jonas, et al.
Published: (2023)

Boosting the Efficiency of Quantum Divider through Effective Design Space Exploration
by: Wang, Siyi, et al.
Published: (2024)

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
by: Wille, Robert, et al.
Published: (2024)

Design and Analysis of an Improved Constrained Hypercube Mixer in Quantum Approximate Optimization Algorithm
by: Wołk, Arkadiusz, et al.
Published: (2026)

CutVQA: Co-Designing Circuit Cutting and Architecture Search for Scaling Variational Quantum Algorithms
by: Wu, Jun, et al.
Published: (2025)

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)

Quantum Computer Fingerprinting using Error Syndromes
by: Mutolo, Vincent, et al.
Published: (2025)

Processing through encoding: Quantum circuit approaches for point-wise multiplication and convolution
by: Papageorgiou, Andreas, et al.
Published: (2025)

Hamiltonian formulations of centroid-based clustering
by: Seong, Myeonghwan, et al.
Published: (2025)

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

Solving the Turbine Balancing Problem using Quantum Annealing
by: Unterauer, Arnold, et al.
Published: (2024)