AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
This paper presents AlphaMapleSAT, a new Cube-and-Conquer (CnC) SAT solving method based on Monte Carlo Tree Search (MCTS), designed to efficiently solve complex combinatorial problems. The authors highlight that despite…
Continue reading