Sumários

Lesson T02: Constraint Networks

1 outubro 2021, 13:00 • Inês Lynce

Mathematical background. CSP. Solutions. Constraint graph. Numeric and Boolean constraints. Equivalence and deduction.

Not Taught.

1 outubro 2021, 11:30 • Inês Lynce

The labs start only in the second week of classes.

Not Taught.

1 outubro 2021, 10:00 • Inês Lynce

The labs start only in the second week of classes.

Not Taught.

30 setembro 2021, 08:30 • Inês Lynce

The labs start only in the second week of classes.

Lesson T01: Introduction

29 setembro 2021, 10:00 • Inês Lynce

Introduction to the course. Search and planning. Constraint Satisfaction Problem (CSP). The CSP solver MiniZinc.