Cover Image

Performance Gains in Quantum SAT Solvers Using ESOP Encoding

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Assaad, Majd, Kole, Abhoy, Drechsler, Rolf
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

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

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

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

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

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

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

Quantum Quandaries: Unraveling Encoding Vulnerabilities in Quantum Neural Networks
by: Upadhyay, Suryansh, et al.
Published: (2025)

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)

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
by: Peham, Tom, et al.
Published: (2026)

Optimised Fermion-Qubit Encodings for Quantum Simulation with Reduced Transpiled Circuit Depth
by: de la Bastida, Michael Williams, et al.
Published: (2025)

Data Encoding for VQC in Qiskit, A Comparison With Novel Hybrid Encoding
by: Biswas, Hillol
Published: (2025)

Performance of Quantum Approximate Optimization with Quantum Error Detection
by: He, Zichang, et al.
Published: (2024)

Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding
by: Liu, Yuhao, et al.
Published: (2024)

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

Review of Distributed Quantum Computing. From single QPU to High Performance Quantum Computing
by: Barral, David, et al.
Published: (2024)

QCEDA: Using Quantum Computers for EDA
by: Jung, Matthias, 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)

D-Wave's Nonlinear-Program Hybrid Solver: Description and Performance Analysis
by: Osaba, Eneko, et al.
Published: (2024)

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

Quantum Federated Learning Experiments in the Cloud with Data Encoding
by: Pokhrel, Shiva Raj, et al.
Published: (2024)

Triplet Loss Based Quantum Encoding for Class Separability
by: Mordacci, Marco, et al.
Published: (2025)

A Survey on Integrating Quantum Computers into High Performance Computing Systems
by: Döbler, Philip, et al.
Published: (2025)

How NOT to Fool the Masses When Giving Performance Results for Quantum Computers
by: McGeoch, Catherine
Published: (2024)

Quantum Integrated High-Performance Computing: Foundations, Architectural Elements and Future Directions
by: Raj, Suman, et al.
Published: (2026)

Assessing the Impact of Low Resolution Control Electronics on Quantum Neural Network Performance
by: Bhattacharjee, Rupayan, et al.
Published: (2026)

Automatic De-Quantization of Quantum Programs Using Constant Propagation
by: Remme, Lian, et al.
Published: (2026)

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

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

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)

Comparing Quantum Encoding Techniques
by: Munikote, Nidhi
Published: (2024)

Cost-Effective Realization of n-Bit Toffoli Gates for IBM Quantum Computers Using the Bloch Sphere Approach and IBM Native Gates
by: Al-Bayaty, Ali, et al.
Published: (2024)

Branch-Aware Quantum Constant Propagation for Dynamic Quantum Circuits
by: Fulginiti, Innocenzo, et al.
Published: (2026)

Quantum Tunneling: From Theory to Error-Mitigated Quantum Simulation
by: Catrina, Sorana, et al.
Published: (2024)

Neural Quantum Embedding: Pushing the Limits of Quantum Supervised Learning
by: Hur, Tak, et al.
Published: (2023)

Multi-strategy Based Quantum Cost Reduction of Quantum Boolean Circuits
by: Ahmed, Taghreed, et al.
Published: (2024)

Transversal AND in Quantum Codes
by: Li, Christine, et al.
Published: (2026)

Quantum computing with Qiskit
by: Javadi-Abhari, Ali, et al.
Published: (2024)

Ensembles of Quantum Classifiers
by: Tolotti, Emiliano, et al.
Published: (2023)

Distributed Quantum Computation with Minimum Circuit Execution Time over Quantum Networks
by: Sundaram, Ranjani G, et al.
Published: (2024)