Sumários

12 Abril 2019, 14:00 • Paulo Jorge Cunha Vaz Dias Urbano

Exemplo e exercícios

11 Abril 2019, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

Exemplo e exercícios

11 Abril 2019, 15:30 • Paulo Jorge Cunha Vaz Dias Urbano

Exemplo e exercícios

11 Abril 2019, 15:30 • João Balsa da Silva

Problemas de Satisfação de Restrições: Formulação. experimentação com a plataforma Python adoptada.

9 Abril 2019, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

Exercícios de Formulação de Problemas de Satisfação de Restrições

Definição das variáveis, dos domínios e das restrições (unárias, binárias e globais).

Grafos de Restrições.