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"

3 / 3 papers shown

Title
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis Zhengyang Lu Stefan Siemer Piyush Jha Joel D. Day Florin Manea Vijay Ganesh 14 1 0 30 Jan 2024
Learning to branch with Tree MDPs Lara Scavuzzo F. Chen Didier Chételat Maxime Gasse Andrea Lodi Neil Yorke-Smith K. Aardal AI4CE 37 52 0 23 May 2022
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework Elias Boutros Khalil Pashootan Vaezipoor B. Dilkina 58 18 0 16 Oct 2021