Materials for the seminar "Advanced Constraint Solving"