Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2401.17159
Cited By
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
30 January 2024
Zhengyang Lu
Stefan Siemer
Piyush Jha
Joel D. Day
Florin Manea
Vijay Ganesh
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis"
2 / 2 papers shown
Title
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
Piyush Jha
Zhengyu Li
Zhengyang Lu
Curtis Bright
Vijay Ganesh
23
4
0
24 Jan 2024
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework
Elias Boutros Khalil
Pashootan Vaezipoor
B. Dilkina
58
18
0
16 Oct 2021
1
