Universal Algebra Seminar

Wednesday, June 22, 2016 3:30 pm - 3:30 pm EDT (GMT -04:00)

Ross Willard, Department of Pure Mathematics, University of Waterloo

“Conservative constraints Part 4”

This is the 4th in a series of 6 lectures aiming to make sense of Andrei Bulatovs paper, Conservative constraint satisfaction re-revisited, J. Comput. Sys. Sci. 82 (2016), 347-356. This week: fixing the bugs in Lemma 3.5.