Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x33484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
This talk is the second of several covering Barto’s simpler proof of a dichotomy for con- servative templates (originally due to Bulatov). We continue from where we left off from last time and finish the proof of the correctness of the reduction to minimal absorbing subuniverses algorithm.
Departmental office: MC 5304
Phone: 519 888 4567 x33484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca