Thursday, February 4, 2016 2:30 pm
-
2:30 pm
EST (GMT -05:00)
Ian Payne, Pure Mathematics, University of Waterloo
"A result on constraint satisfaction problems: part 3"
In this talk, I will begin going through Bulatov's proof that a nonempty standard $(2,3)$-system with potatoes from a variety of $2$-semilattices has a solution. It should take two lectures to complete the proof.