Calendar

25 Sun 26 Mon 27 Tue 28 Wed 29 Thu 30 Fri 1 Sat
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
1:30 pm Logic Seminar: William DeMeo @ Keller 303
Logic Seminar: William DeMeo @ Keller 303
Sep 29 @ 1:30 pm – Sep 29 @ 2:20 pm
TITLE: The Algebraic Approach to Determining the Complexity of Constraint Satisfaction Problems SPEAKER: William DeMeo ABSTRACT: The “CSP-dichotomy conjecture” of Feder and Vardi asserts that every constraint satisfaction problem (CSP) is in P or is[...]