When Satisfiability Solving Meets Symbolic Computation
The science of less-than-brute force.
Vijay Ganesh
Advertisement
Author Archives
The First Heidelberg Laureate Forum 2013
The Heidelberg Laureate Forum (HLF) 2013 is an annual event where 200 young researchers get to meet with and learn from 40 Turing Award, Fields Medal, Abel Prize and Nevanlinna Prize winners for a whole week from September 22-27, 2013 at the beautiful campus of the Heidelberg University. The laureates in attendance this year are the 40 of the best minds in mathematics and computer science.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved