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

24 January 2024

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

2 / 2 papers shown

Title
Learning to branch with Tree MDPs Lara Scavuzzo F. Chen Didier Chételat Maxime Gasse Andrea Lodi Neil Yorke-Smith K. Aardal AI4CE 35 51 0 23 May 2022
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework Elias Boutros Khalil Pashootan Vaezipoor B. Dilkina 39 18 0 16 Oct 2021