{Symmetry, Logic, Constraint Satisfaction Problem}

Workshop

{Symmetry, Logic, Computation}

Speaker(s)

Libor Barto, Charles University

Location

Calvin Lab Auditorium

Date

Wednesday, Nov. 9, 2016

Time

9:30 – 10:30 a.m. PT

Abstract

This is an overview talk on the fixed template constraint satisfaction problem, emphasizing the roles of symmetry and logic.

Attachment

{Symmetry, Logic, Constraint Satisfaction Problem}