AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.
Piyush JhaZhengyu LiZhengyang LuCurtis BrightVijay GaneshPublished in: CoRR (2024)
Keyphrases
- sat solvers
- sat solving
- monte carlo tree search
- orders of magnitude
- boolean satisfiability
- constraint satisfaction
- sat instances
- sat problem
- search strategies
- search tree
- max sat
- propositional satisfiability
- search space
- clause learning
- constraint solver
- optimal solution
- reinforcement learning
- randomly generated
- propositional logic
- search strategy
- constraint satisfaction problems
- state space
- special case
- data structure
- unsatisfiable cores