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.
M3-3103