Roman Barták

• Introduction to Constraint Based
• Introduction to Constraint-Based Temporal Reasoning