Collaborative Research: Next-Generation Cutting Planes: Compression, Automation, Diversity, and Computer-Assisted Mathematics

Zhou, Yuan (PI)

Mathematics

1 Finished

1 results

Finished
Participant Support Costs: Collaborative Research: Next-Generation Cutting Planes: Compression, Automation, Diversity, and Computer-Assisted Mathematics
Zhou, Y. (PI)
National Science Foundation
8/1/20 → 7/31/24
Project: Research project