## 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

Friday, January 17, 2014 — 3:30 PM EST

Thursday, January 16, 2014 — 4:30 PM EST

Thursday, January 16, 2014 — 1:30 PM EST

Wednesday, January 15, 2014 — 4:00 PM EST

Wednesday, January 15, 2014 — 2:30 PM EST

Wednesday, January 15, 2014 — 10:30 AM EST

Tuesday, January 14, 2014 — 2:30 PM EST

In showing that finite idempotent algebras generating a congruence meet-semidistributive variety have bounded width, our first step is to reduce the consideration of arbitrary constraint networks to those where the constraints are at most binary.

Monday, January 13, 2014 — 4:00 PM EST

Friday, January 10, 2014 — 3:30 PM EST

Tuesday, January 7, 2014 — 2:30 PM EST

“The local consistency algorithm and problems of bounded width”

University of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Phone: 519 888 4567 x33484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1