MathsCSP Workshop - Short Talks

International Workshop on
Mathematics of Constraint Satisfaction:

Algebra, Logic and Graph Theory

20-24 March 2006 - St Anne's College, University of Oxford

Manuel Bodirsky (A)
Datalog and infinite-valued CSP
Manuel Bodirsky (B)
Datalog and infinite-valued CSP
Dave Cohen (A)
Soft constraints and multimorphisms
Dave Cohen (B)
Soft constraints and multimorphisms
Tomas Feder (A)
Boolean bipartite constraint satisfaction and delta matroids
Tomas Feder (B)
Boolean bipartite constraint satisfaction and delta matroids
Steve Linton (A)
Understanding and managing symmetry in constraint systems
Steve Linton (B)
Understanding and managing symmetry in constraint systems
Daniel Marx (A)
Constraint satisfaction via fractional edge covers
Daniel Marx (B)
Constraint satisfaction via fractional edge covers
Francesca Rossi (A)
Positive and negative preferences
Francesca Rossi (B)
Positive and negative preferences
Thomas Schiex (A)
Cost function optimization and local consistency
Thomas Schiex (B)
Cost function optimization and local consistency
Barbara Smith (A)
Constraint programming models for graceful graphs problems
Barbara Smith (B)
Constraint programming models for graceful graphs problems
Pascal Tesson (A)
Systems of equations over semigroups: a case study for CSP
Pascal Tesson (B)
Systems of equations over semigroups: a case study for CSP
Dimitrios Thilikos (A)
Restrictive list H-coloring: algorithms and complexity results
Dimitrios Thilikos (B)
Restrictive list H-coloring: algorithms and complexity results
Heribert Vollmer (A)
Refining Schaefer's theorem
Heribert Vollmer (B)
Refining Schaefer's theorem