Constraint Satisfaction seminar

Wednesday, May 30, 2012 10:30 am - 12:30 pm EDT (GMT -04:00)

Ross Willard, Pure Mathematics Department, University of Waterloo

"Solving group constraints"

This is the first lecture in an ongoing learning seminar devoted to learning some recent algorithms for "fixed finite template" constraint satisfaction problems. In this lecture I will give a quick introduction to these problems, and then describe an algorithm for problems whose constraints are cosets of subgroups of powers of a fixed group Wednesday.