Copertina

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Davis, Liam, Ji, Tairan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
di: Bartholomew, Michael, et al.
Pubblicazione: (2025)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
di: Su, Yuheng, et al.
Pubblicazione: (2025)

Learning to Rank the Initial Branching Order of SAT Solvers
di: Eriksson, Arvid, et al.
Pubblicazione: (2026)

Dsat: A Native SAT Solver for Discrete Logic
di: Zhang, Yaofang, et al.
Pubblicazione: (2026)

SMT(LIA) Sampling with High Diversity
di: Lai, Yong, et al.
Pubblicazione: (2025)

Approximate SMT Counting Beyond Discrete Domains
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
di: Li, Chunxiao, et al.
Pubblicazione: (2024)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
di: Ding, Tianyi, et al.
Pubblicazione: (2025)

Automated Process Planning Based on a Semantic Capability Model and SMT
di: Köcher, Aljosha, et al.
Pubblicazione: (2023)

Orbitopal Fixing in SAT
di: Anders, Markus, et al.
Pubblicazione: (2026)

Orthologic for SAT Solving
di: de Haldat, Vladislas, et al.
Pubblicazione: (2026)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
di: Van Kieu, Tuyen, et al.
Pubblicazione: (2026)

Incremental Neural Network Verification via Learned Conflicts
di: Elsaleh, Raya, et al.
Pubblicazione: (2026)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
di: Janota, Mikoláš, et al.
Pubblicazione: (2026)

A SAT-based approach to rigorous verification of Bayesian networks
di: Stępka, Ignacy, et al.
Pubblicazione: (2024)

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
di: Hsia, Yung-Shen, et al.
Pubblicazione: (2026)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2024)

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
di: Lu, Zhengyang, et al.
Pubblicazione: (2024)

Automatically discovering heuristics in a complex SAT solver with large language models
di: Sun, Yiwen, et al.
Pubblicazione: (2025)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
di: Kim, Curie, et al.
Pubblicazione: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
di: Defresne, Marianne, et al.
Pubblicazione: (2025)

Towards SMT Solver Stability via Input Normalization
di: Amrollahi, Daneshvar, et al.
Pubblicazione: (2024)

Lattice Deduction Transformers
di: Davis, Liam, et al.
Pubblicazione: (2026)

A general optimization solver based on OP-to-MaxSAT reduction
di: Zhao, Yuxin, et al.
Pubblicazione: (2026)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
di: Hader, Thomas, et al.
Pubblicazione: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
di: Pan, Leyan, et al.
Pubblicazione: (2024)

Rethinking Clause Management for CDCL SAT Solvers
di: Cai, Yalun, et al.
Pubblicazione: (2026)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
di: Pal, Koyena, et al.
Pubblicazione: (2026)

On CNF Conversion for SAT and SMT Enumeration
di: Masina, Gabriele, et al.
Pubblicazione: (2023)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
di: Rahman, A M Muntasir, et al.
Pubblicazione: (2024)

A Customized SAT-based Solver for Graph Coloring
di: Brand, Timo, et al.
Pubblicazione: (2025)

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
di: Chen, Minyu, et al.
Pubblicazione: (2024)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
di: Mohamed, Abdalrhman, et al.
Pubblicazione: (2025)

Evaluation and Comparison Semantics for ODRL
di: Salas, Jaime Osvaldo, et al.
Pubblicazione: (2025)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
di: Wang, Ruolin, et al.
Pubblicazione: (2024)

Large Language Model for OWL Proofs
di: Yang, Hui, et al.
Pubblicazione: (2026)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
di: Liu, Yinhong, et al.
Pubblicazione: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)