Sign in
Zhengyu Li
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Constraint Satisfaction
Sat Solving
Search Strategies
Boolean Satisfiability
Top Venues
CoRR
</>
Publications
</>
Piyush Jha
,
Zhengyu Li
,
Zhengyang Lu
,
Curtis Bright
,
Vijay Ganesh
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.
CoRR
(2024)