Copertina

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jha, Piyush, Li, Zhengyu, Lu, Zhengyang, Zeng, Raymond, Bright, Curtis, Ganesh, Vijay
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Combinatorics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
di: Li, Zhengyu, et al.
Pubblicazione: (2023)

Improving SAT Solvers on Orthogonal Latin Square Problems
di: Barnoff, Aaron, et al.
Pubblicazione: (2026)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
di: Li, Zhengyu, et al.
Pubblicazione: (2025)

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

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
di: Li, Zhengyu, et al.
Pubblicazione: (2026)

Queen Domination by SAT Solving
di: Rostami, Taha, et al.
Pubblicazione: (2025)

Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation
di: Bright, Curtis, et al.
Pubblicazione: (2025)

Smooth Combinatorial Cubes are IDP
di: Curtis, Juliana
Pubblicazione: (2025)

Myrvold's Results on Orthogonal Triples of $10 \times 10$ Latin Squares: A SAT Investigation
di: Bright, Curtis, et al.
Pubblicazione: (2025)

Combinatorial Geometry of Erdős--Szekeres Type Problems: SAT/ASP Modeling and Linear Subreduction
di: Koshelev, Vitalii, et al.
Pubblicazione: (2026)

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints
di: Schwardt, J., et al.
Pubblicazione: (2025)

SAT Requires Exhaustive Search
di: Xu, Ke, et al.
Pubblicazione: (2023)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
di: Pati, Viresh, et al.
Pubblicazione: (2026)

MILP-SAT-GNN: Yet Another Neural SAT Solver
di: Cardillo, Franco Alberto, et al.
Pubblicazione: (2025)

Inhomogeneous random 2-SAT
di: Hladký, Jan, et al.
Pubblicazione: (2025)

WalkSAT is linear on random 2-SAT
di: Berenbrink, Petra, et al.
Pubblicazione: (2024)

SAT and Lattice Reduction for Integer Factorization
di: Ajani, Yameen, et al.
Pubblicazione: (2024)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
di: Sun, Yiwen, et al.
Pubblicazione: (2024)

Finding hardness reductions automatically using SAT solvers
di: Bergold, Helena, et al.
Pubblicazione: (2024)

Reinforced Generation of Combinatorial Structures: Hardness of Approximation
di: Nagda, Ansh, et al.
Pubblicazione: (2025)

Where the Really Hard Quadratic Assignment Problems Are: the QAP-SAT instances
di: Verel, Sébastien, et al.
Pubblicazione: (2024)

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

Approximately counting maximal independent set is equivalent to #SAT
di: Zhang, Hao, et al.
Pubblicazione: (2024)

SHA-256 Collision Attack with Programmatic SAT
di: Alamgir, Nahiyan, et al.
Pubblicazione: (2024)

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

Proving Norine's Conjecture holds for $n=7$ via SAT solvers
di: Frankston, Keith, et al.
Pubblicazione: (2024)

SAT-sampling for statistical significance testing in sparse contingency tables
di: Scharpfenecker, Patrick, et al.
Pubblicazione: (2025)

A Hypergraph Container Method on Spread SAT: Approximation and Speedup
di: Han, Zicheng, et al.
Pubblicazione: (2026)

Investigating Simple Drawings of $K_n$ using SAT
di: Bergold, Helena, et al.
Pubblicazione: (2025)

A Customized SAT-based Solver for Graph Coloring
di: Brand, Timo, 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)

Solving Cyclic Antibandwidth Problem by SAT
di: Xuan, Hieu Truong, et al.
Pubblicazione: (2026)

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening
di: Savchuk, Pavlo
Pubblicazione: (2025)

A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
di: Skenderi, Geri
Pubblicazione: (2025)

From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT
di: Kirchweger, Markus, et al.
Pubblicazione: (2025)

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

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances
di: Kondratiev, Victor, et al.
Pubblicazione: (2026)

On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses
di: Caragiannis, Ioannis, et al.
Pubblicazione: (2024)