We stand with Ukraine

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 database¹, Zhengyu Li authored at least 7 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org
on 404briannotfound.tech

On csauthors.net:

Bibliography

2025

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems.

[BibT_eX]

[DOI]

,

,

,

CoRR, February, 2025

2024

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.

[BibT_eX]

[DOI]

,

,

,

,

CoRR, 2024

A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem.

[BibT_eX]

[DOI]

,

,

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).

[BibT_eX]

[DOI]

,

,

,

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).

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

,

CoRR, 2023

2022

An SC-Square Approach to the Minimum Kochen-Specker Problem.

[BibT_eX]

[DOI]

,

,

Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022

Loading...