Universal Algebra Seminar

Thursday, February 25, 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 5”

I will talk about Bulatov solutions to instances over the variety of 2-semilattices. Using these, we can get a polynomial time algorithm to solve the constraint satisfaction problem over the join of the variety of 2 semilattices (almost) with the full Maltsev variety. I’ll show how this is done. Hopefully this will be the last lecture, but it may spill into one more.

MC 5403