PhD Proposal: Constraint SAT problems for Infinite Structures
Shaopeng Zhu
Abstract
|
|
Bio
Shaopeng Zhu is a PhD student in Computer Science at the University of Maryland. He got his Bachelor's degree at Peking University and a Masters Degree from UC Davis.
This talk is organized by Tom Hurst