A rendezvous of logic, complexity, and algebra (0)

by Hubie Chen
Venue:ACM Computing Surveys