High-level quantum structured programs as quantum registers compositions
Year: 2026
Type: article
Abstract: This repository forms part of the technical paper "High-level quantum structured programs as quantum registers compositions", accepted to IEEE International Conference on Quantum Computing and Engineering 2026 (QSYS Track). It is composed of bundles a series of operations proposed in effort towards establishing a high-level quantum structured programming. In particular, a quantum SMT solver can be addressed relying solely on these. Go to file README.md for more details.
Institution: Universidad de Extremadura
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7155599337
