Birs- 14w5136: Algebraic and Model Theoretical Methods in Constraint Satisfaction
-
Title: Tutorial 1: Constraint satisfaction problems on infinite domains
Speaker:
Link:
-
Title: Tutorial 2: Endomorphisms and synchronization: Synchronization, Part 1
Speaker:
Link:
-
Title: Tutorial 1: Constraint satisfaction problems on infinite domains, Part 2
Speaker:
Link:
-
Title: Tutorial 3: Universal algebra and CSP
Speaker:
Link:
-
Title: Tutorial 1, Constraint satisfaction problems on infinite domains, Part 3
Speaker:
Link:
-
Title: Tutorial 2: Endomorphisms and synchronization: Graphs and transformation monoids, Part 2
Speaker:
Link:
-
Title: Algebraic Algorithms for the Inference Problem in Propositional Circumscription
Speaker:
Link:
-
Title: Simple homogeneous structures
Speaker:
Link:
-
Title: On constant-factor approximable finite-valued CSPs
Speaker:
Link:
-
Title: Continuity of homomorphisms to the clone of projections
Speaker:
Link:
-
Title: Tutorial 2: Endomorphisms and synchronization: The almost synchronizing conjecture, Part 3
Speaker:
Link:
-
Title: Distance Constraint Satisfaction Problems
Speaker:
Link:
-
Title: Towards dichotomy for planar boolean CSP
Speaker:
Link:
-
Title: Linear Datalog and k-permutability = symmetric Datalog
Speaker:
Link:
-
Title: Classifying homogeneous structures
Speaker:
Link:
-
Title: The basic CSP reductions revisited
Speaker:
Link:
-
Title: Restricted Dualities and First-Order Definable Colorings
Speaker:
Link:http://www.birs.ca/events/2014/5-day-workshops/14w5136/videos/watch/201411271131-OssonadeMendez.html
-
Title: Absorption and directed Jonsson terms
Speaker:
Link:
-
Title: Ramsey classes with algebraical closure and forbidden homomorphisms
Speaker:
Link:
-
Title: Necessary Conditions for Tractability of Valued CSPs
Speaker:
Link: