Login / Signup
Zhengyu Li
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Sat Solvers
Boolean Satisfiability
Computer Algebra
Automated Theorem Provers
Top Venues
AAAI
CoRR
</>
Publications
</>
Zhengyu Li
,
Curtis Bright
,
Vijay Ganesh
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).
AAAI
(2024)
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)
Conor Duggan
,
Zhengyu Li
,
Curtis Bright
,
Vijay Ganesh
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).
AAAI
(2024)