Imagen de Portada

A Study Of Sudoku Solving Algorithms: Backtracking and Heuristic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bhattarai, Apekshya, Uprety, Dinisha, Pathak, Pooja, Shrestha, Safal Narshing, Narkarmi, Salina, Sigdel, Sanjog
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Backtrackable Inprocessing
por: Nadel, Alexander
Publicado: (2026)

Lazy Reimplication in Chronological Backtracking
por: Coutelier, Robin, et al.
Publicado: (2025)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
por: Davis, Liam, et al.
Publicado: (2025)

A Curiously Effective Backtracking Strategy for Connection Tableaux
por: Färber, Michael
Publicado: (2021)

A Performance Verification Methodology for Resource Allocation Heuristics
por: Goel, Saksham, et al.
Publicado: (2023)

Can Transformers Learn to Verify During Backtracking Search?
por: Phua, Yin Jun, et al.
Publicado: (2026)

On the Completeness of Interpolation Algorithms
por: Hetzl, Stefan, et al.
Publicado: (2024)

Deducibility in Sudoku
por: Mašulović, Dragan
Publicado: (2022)

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
por: Swisa, Maya, et al.
Publicado: (2025)

Network Satisfaction Problems Solved by k-Consistency
por: Bodirsky, Manuel, et al.
Publicado: (2023)

Solving Homotopy Domain Equations
por: Martínez-Rivillas, Daniel O., et al.
Publicado: (2021)

RustSAT: A Library For SAT Solving in Rust
por: Jabs, Christoph
Publicado: (2025)

A Study on Actions for Atomic Logics
por: Espejo-Boix, Raül
Publicado: (2024)

Finding Connections via Satisfiability Solving
por: Eisenhofer, Clemens, et al.
Publicado: (2026)

Spanning Matrices via Satisfiability Solving
por: Eisenhofer, Clemens, et al.
Publicado: (2024)

Solving SAT By Computing A Stable Set Of Points In Clusters
por: Goldberg, Eugene
Publicado: (2025)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
por: Mohamed, Mudathir, et al.
Publicado: (2025)

SAT Solving for Variants of First-Order Subsumption
por: Coutelier, Robin, et al.
Publicado: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
por: Afshari, Bahareh, et al.
Publicado: (2024)

Hybrid MKNF for Aeronautics Applications: Usage and Heuristics
por: Sheela, Arun Raveendran Nair, et al.
Publicado: (2026)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
por: Shi, Zhengyuan, et al.
Publicado: (2024)

parSAT: Parallel Solving of Floating-Point Satisfiability
por: Krahl, Markus, et al.
Publicado: (2025)

On Solving String Equations via Powers and Parikh Images
por: Eisenhofer, Clemens, et al.
Publicado: (2026)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
por: Ratschan, Stefan
Publicado: (2012)

Intuitionistic logic, dual intuitionistic logic, and modality
por: Aryal, Safal Raman
Publicado: (2024)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
por: Vandesande, Dieter, et al.
Publicado: (2025)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
por: Watanabe, Kazuki
Publicado: (2024)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
por: Brown, Chad E., et al.
Publicado: (2025)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
por: Bordais, Benjamin, et al.
Publicado: (2024)

An ASP-based approach to Solving General Stochastic Two-Player Games
por: He, Yifan, et al.
Publicado: (2026)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
por: Castro, Pablo F.
Publicado: (2026)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
por: Beiser, Alexander, et al.
Publicado: (2025)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
por: Habermehl, Peter, et al.
Publicado: (2024)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
por: Katsura, Hiroyuki, et al.
Publicado: (2025)

Logics and Algorithms for Hyperproperties
por: Finkbeiner, Bernd
Publicado: (2025)

Advances in Algorithmic Meta Theorems
por: Siebertz, Sebastian, et al.
Publicado: (2024)

Mathematical Informatics: Algorithms
por: Seiller, Thomas
Publicado: (2026)

A Zone-Based Algorithm for Timed Parity Games
por: Geeraerts, Gilles, et al.
Publicado: (2025)

Solving promise equations over monoids and groups
por: Larrauri, Alberto, et al.
Publicado: (2024)

Faster Game Solving by Fixpoint Acceleration
por: Hausmann, Daniel
Publicado: (2024)