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 | 56 | 2022 |
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 | 9 | 2024 |
An SC-Square Approach to the Minimum Kochen–Specker Problem Z Li, C Bright, V Ganesh SC-Square Workshop, 2022 | 5 | 2022 |
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 |