An SC-Square Approach to the Minimum Kochen-Specker Problem. - Zhengyu Li 002; Curtis Bright; Vijay Ganesh 001 (SC-Square@FLoC, 2022)

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem. - Zhengyu Li 002; Curtis Bright; Vijay Ganesh 001 (CoRR, 2023)

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract). - Zhengyu Li 002; Curtis Bright; Vijay Ganesh 001 (AAAI, 2024)

A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). - Conor Duggan; Zhengyu Li 002; Curtis Bright; Vijay Ganesh 001 (AAAI, 2024)

A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem. - Zhengyu Li 002; Curtis Bright; Vijay Ganesh 001 (IJCAI, 2024)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems. - Piyush Jha; Zhengyu Li 002; Zhengyang Lu 002; Curtis Bright; Vijay Ganesh 001 (CoRR, 2024)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems. - Zhengyu Li 002; Conor Duggan; Curtis Bright; Vijay Ganesh 001 (CoRR, 2025)