We stand with Ukraine  

Zhengyu Li

Orcid: 0000-0003-0252-8549

Affiliations:
  • Georgia Institute of Technology, GA, USA
  • University of Waterloo, Canada (former)
  • University of Toronto, Canada (former)


According to our database1, Zhengyu Li authored at least 5 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.
[BibTeX]
[DOI]
Piyush Jha
,
Zhengyu Li
,
Zhengyang Lu
,
Curtis Bright
,
Vijay Ganesh
CoRR, 2024

A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).
[BibTeX]
[DOI]
Conor Duggan
,
Zhengyu Li
,
Curtis Bright
,
Vijay Ganesh
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).
[BibTeX]
[DOI]
Zhengyu Li
,
Curtis Bright
,
Vijay Ganesh
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem.
[BibTeX]
[DOI]
Zhengyu Li
,
Curtis Bright
,
Vijay Ganesh
CoRR, 2023

2022
An SC-Square Approach to the Minimum Kochen-Specker Problem.
[BibTeX]
[DOI]
Zhengyu Li
,
Curtis Bright
,
Vijay Ganesh
Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022


  Loading...