Cover Image

QSolver: A Quantum Constraint Solver

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xia, Shangzhou, Fu, Haitao, Zhao, Jianjun
Format:	Preprint
Published:	2026
Subjects:	Quantum Physics Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantum Concolic Testing
by: Xia, Shangzhou, et al.
Published: (2024)

QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
by: Ye, Jiaming, et al.
Published: (2026)

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
by: Jin, Tiancheng, et al.
Published: (2025)

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
by: Shao, Minqi, et al.
Published: (2026)

Quantum-Based Software Engineering
by: Zhao, Jianjun
Published: (2025)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
by: Luo, Junjie, et al.
Published: (2026)

When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
by: Zhao, Jianjun
Published: (2025)

A Black-box Testing Framework for Oracle Quantum Programs
by: Long, Peixun, et al.
Published: (2025)

Unveiling Code Clones in Quantum Programming: An Empirical Study with Qiskit
by: Manoku, Kenta, et al.
Published: (2025)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
by: Long, Peixun, et al.
Published: (2023)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
by: Long, Peixun, et al.
Published: (2023)

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
by: Ye, Jiaming, et al.
Published: (2025)

Automated Verification of Silq Quantum Programs using SMT Solvers
by: Lewis, Marco, et al.
Published: (2024)

Comprehensive Library of Variational LSE Solvers
by: Meyer, Nico, et al.
Published: (2024)

From Quantum Mechanics to Quantum Software Engineering: A Historical Review
by: Bisicchia, Giuseppe, et al.
Published: (2024)

Towards Quantum Software for Quantum Simulation
by: Franz, Maja, et al.
Published: (2025)

ProvideQ: A Quantum Optimization Toolbox
by: Eichhorn, Domenik, et al.
Published: (2025)

QUTest: A Native Testing Framework for Quantum Programs
by: Campos, José
Published: (2026)

Maestro: Intelligent Execution for Quantum Circuit Simulation
by: Bertomeu, Oriol, et al.
Published: (2025)

A Cross-Platform Execution Engine for the Quantum Intermediate Representation
by: Wong, Elaine, et al.
Published: (2024)

Quantum Testing in the Wild: A Case Study with Qiskit Algorithms
by: Ramalho, Neilson Carlos Leite, et al.
Published: (2025)

Bridging Quantum Mechanics and Computing: A Primer for Software Engineers
by: Kiwelekar, Arvind W
Published: (2025)

A Game Theoretic Approach for Optimizing Quantum Error Budget Distribution
by: Ronggon, Asif Akhtab, et al.
Published: (2026)

A Physics-Informed Neuro-Fuzzy Framework for Quantum Error Attribution
by: Hassan, Marwa R., et al.
Published: (2026)

QuantumReservoirPy: A Software Package for Time Series Prediction
by: Miao, Stanley, et al.
Published: (2024)

A Web-based Software Development Kit for Quantum Network Simulation
by: DiAdamo, Stephen, et al.
Published: (2024)

Quantum Software Ecosystem Design
by: Basermann, Achim, et al.
Published: (2024)

On the Feasibility of Quantum Unit Testing
by: Miranskyy, Andriy, et al.
Published: (2025)

QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit
by: Pontolillo, Gabriel, et al.
Published: (2025)

Distinguishing Quantum Software Bugs from Hardware Noise: A Statistical Approach
by: Virani, Ahmik, et al.
Published: (2025)

Integrating Quantum Software Tools with(in) MLIR
by: Hopf, Patrick, et al.
Published: (2026)

Characterizing and Benchmarking Dynamic Quantum Circuits
by: Shirgure, Sumeet, et al.
Published: (2026)

Investigating Retargetability Claims for Quantum Compilers
by: Southall, Luke, et al.
Published: (2026)

Implicit Test Oracles for Quantum Computing
by: Langdon, William B.
Published: (2024)

A Quantum Annealing Approach for Solving Optimal Feature Selection and Next Release Problems
by: Wang, Shuchang, et al.
Published: (2025)

LogosQ: A High-Performance and Type-Safe Quantum Computing Library in Rust
by: An, Shiwen, et al.
Published: (2025)

A Preliminary Investigation on the Usage of Quantum Approximate Optimization Algorithms for Test Case Selection
by: Trovato, Antonio, et al.
Published: (2025)

Understanding Bugs in Quantum Simulators: An Empirical Study
by: Upadhyay, Krishna, et al.
Published: (2026)

Toolchain for Faster Iterations in Quantum Software Development
by: Kinanen, Otso, et al.
Published: (2025)

Towards View-based Development of Quantum Software
by: Ammermann, Joshua, et al.
Published: (2024)