TY  - RPRT
TI  - AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
AU  - Piyush Jha
AU  - Zhengyu Li
AU  - Zhengyang Lu
AU  - Raymond Zeng
AU  - Curtis Bright
AU  - Vijay Ganesh
PY  - 2026
UR  - https://arxiv.org/abs/2401.13770
ID  - 2401.13770
ER  -