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
502022
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
92024
An SC-Square Approach to the Minimum Kochen–Specker Problem
Z Li, C Bright, V Ganesh
SC-Square Workshop, 2022
52022
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
2024
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
Searching for Kochen–Specker Systems With Orderly Generation and Satisfiability Solving
C Bright
Program Committee Chair, 90, 2022
2022
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–7