Follow
Zhengyu (Brian) Li
Title
Cited by
Cited by
Year
Automatic quantification and classification of microplastics in scanning electron micrographs via deep learning
B Shi, M Patel, D Yu, J Yan, Z Li, D Petriw, T Pruyn, K Smyth, E Passeport, ...
Science of The Total Environment 825, 153903, 2022
722022
A SAT solver and computer algebra attack on the minimum kochen-specker problem
Z Li, C Bright, V Ganesh
arXiv preprint arXiv:2306.13319, 2023
112023
An SC-Square Approach to the Minimum Kochen–Specker Problem
Z Li, C Bright, V Ganesh
SC-Square Workshop, 2022
72022
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
Z Li, C Bright, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23559 …, 2024
22024
A SAT+ Computer Algebra System Verification of the Ramsey Problem R (3, 8)(Student Abstract)
C Duggan, Z Li, C Bright, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23480 …, 2024
12024
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
P Jha, Z Li, Z Lu, C Bright, V Ganesh
arXiv preprint arXiv:2401.13770, 2024
2024
Benchmark from the Kochen–Specker and the Ramsey Problems
Z Li, R Raman, A Hayashi, Y Elmougy, V Ganesh, V Sarkar
SAT COMPETITION 2024, 47, 2024
2024
In Tetracycles: a SET Deck Magic Trick
P Glynn-Adey, Z Li
Math Horizons 28 (4), 16-18, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–8