Universal Algebra and Constraint Satisfaction learning seminar

Tuesday, May 13, 2014 2:30 pm - 2:30 pm EDT (GMT -04:00)

Ross Willard, Pure Mathematics, University of Waterloo

"Barto's algorithm for conservative constraints"

In this last in a series of lectures, I will describe Barto's
algorithm for conservative constraints and prove its correctness.