Ian Payne, Department of Pure Mathematics, University of Waterloo
“A result on constraint satisfaction problems: part 2”
I will continue with an introduction to constraint satisfaction problems and some basic consistency notions. If time permits (and it should), I will start talking about 2-semilattices and how Bulatov handled their CSP earlier this century.
MC 5403