Thursday, February 11, 2016 2:30 pm
-
2:30 pm
EST (GMT -05:00)
Ian Payne, Department of Pure Mathematics, University of Waterloo
“A result on constraint satisfaction problems: part 4”
I will finish presenting Bulatov’s proof that a standard (2,3)-system over the variety of 2-semilattices has a solution, and talk about how the set of solutions has some nice properties.
MC 5403