Copertina

Quantum Backtracking in Qrisp Applied to Sudoku Problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Seidel, Raphael, Zander, René, Petrič, Matic, Steinmann, Niklas, Liu, David Q., Tcholtchev, Nikolay, Hauswirth, Manfred
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Quantum Physics Data Structures and Algorithms Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
di: Seidel, Raphael, et al.
Pubblicazione: (2024)

Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface
di: Petrič, Matic, et al.
Pubblicazione: (2026)

Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
di: Huang, Qunsheng, et al.
Pubblicazione: (2024)

Implementing Binary Search Trees in GP 2 (Extended Abstract)
di: Alaoui, Ziad Ismaili, et al.
Pubblicazione: (2026)

Optimizations and extensions for fair join pattern matching
di: Karras, Ioannis
Pubblicazione: (2025)

Towards Efficient Hash Maps in Functional Array Languages
di: Due, William Henrich, et al.
Pubblicazione: (2025)

Diagram Control and Model Order for Sugiyama Layouts
di: Domrös, Sören, et al.
Pubblicazione: (2024)

AbsInf: A Lightweight Object to Represent float('inf') in Dijkstra's Algorithm
di: Bellamkonda, Anjan, et al.
Pubblicazione: (2025)

Efficient Dynamic Algorithms to Predict Short Races
di: Zhang, Minjian, et al.
Pubblicazione: (2026)

A Note on Dynamic Bidirected Dyck-Reachability with Cycles
di: Zhang, Qirun
Pubblicazione: (2024)

Parsing Millions of URLs per Second
di: Nizipli, Yagiz, et al.
Pubblicazione: (2023)

Declarative Concurrent Data Structures
di: Raza, Aun, et al.
Pubblicazione: (2024)

Amortized Analysis via Coalgebra
di: Grodin, Harrison, et al.
Pubblicazione: (2024)

High-level quantum algorithm programming using Silq
di: Bezganovic, Viktorija, et al.
Pubblicazione: (2024)

Deep Learning and Machine Learning -- Python Data Structures and Mathematics Fundamental: From Theory to Practice
di: Chen, Silin, et al.
Pubblicazione: (2024)

Solving the Product Breakdown Structure Problem with constrained QAOA
di: Zander, René, et al.
Pubblicazione: (2024)

Temporal Routing in Static Networks: The Schedule Completion Problem
di: Döring, Michelle, et al.
Pubblicazione: (2026)

On the Complexity of the Matching Problem of Regular Expressions with Backreferences
di: Kumabe, Soh, et al.
Pubblicazione: (2026)

Fast Maximum Common Subgraph Search: A Redundancy-Reduced Backtracking Approach
di: Yu, Kaiqiang, et al.
Pubblicazione: (2025)

The Buffer Minimization Problem for Scheduling Flow Jobs with Conflicts
di: Haas, Niklas, et al.
Pubblicazione: (2025)

Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
di: Rohatgi, Dhruv, et al.
Pubblicazione: (2025)

A bargain for mergesorts -- How to prove your mergesort correct and stable, almost for free
di: Cohen, Cyril, et al.
Pubblicazione: (2024)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
di: Leutgeb, Lorenz, et al.
Pubblicazione: (2022)

Corecursive Coding of High Computational Derivatives and Power Series
di: Karczmarczuk, Jerzy
Pubblicazione: (2025)

Verified Purely Functional Catenable Real-Time Deques
di: Viennot, Jules, et al.
Pubblicazione: (2025)

New Graph Decompositions and Combinatorial Boolean Matrix Multiplication Algorithms
di: Abboud, Amir, et al.
Pubblicazione: (2023)

Graph matching based on similarities in structure and attributes
di: Candelier, Raphaël
Pubblicazione: (2024)

Subsequences in Bounded Ranges: Matching and Analysis Problems
di: Kosche, Maria, et al.
Pubblicazione: (2022)

Enabling AI ASICs for Zero Knowledge Proof
di: Tong, Jianming, et al.
Pubblicazione: (2026)

Multipass Linear Sketches for Geometric LP-Type Problems
di: Çekirge, N. Efe, et al.
Pubblicazione: (2025)

The Competitive Ratio of Threshold Policies for Online Unit-density Knapsack Problems
di: Ma, Will, et al.
Pubblicazione: (2019)

Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
di: Prinz, Thomas M., et al.
Pubblicazione: (2026)

Language Edit Distance & Scored Parsing: Faster Algorithms & Connection to Fundamental Graph Problems
di: Kociumaka, Tomasz, et al.
Pubblicazione: (2014)

Permutation Matching Under Parikh Budgets: Linear-Time Detection, Packing, and Disjoint Selection
di: Shanto, MD Nazmul Alam, et al.
Pubblicazione: (2026)

Towards Optimal Multi-draft Speculative Decoding
di: Hu, Zhengmian, et al.
Pubblicazione: (2025)

Theoretical Analysis of Byte-Pair Encoding
di: Kozma, László, et al.
Pubblicazione: (2024)

Structured Tree Alignment for Evaluation of (Speech) Constituency Parsing
di: Shi, Freda, et al.
Pubblicazione: (2024)

Flashback: A Reversible Bilateral Run-Peeling Decomposition of Strings
di: Konstantinovsky, Thomas, et al.
Pubblicazione: (2026)

Fast Exact Retrieval for Nearest-neighbor Lookup (FERN)
di: Zhu, Richard
Pubblicazione: (2024)

A faster FPRAS for #NFA
di: Meel, Kuldeep S., et al.
Pubblicazione: (2023)