Sumários

27 Março 2023, 17:30 • Luis Antunes

CSP Procura

27 Março 2023, 13:30 • Paulo Jorge Cunha Vaz Dias Urbano

Procura com Restrocesso.

Conceito de verificação para a frente, consistência dos nós, dos arcos e do grafo.

Filtragem por verificação para a frente e através do forçar a consitência do grafo: o algoritmo AC3.

Heurísticas de variável mais restringida e de maior grau e heurísticas de valor menos restritivo.

24 Março 2023, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

Modelização de Problemas de Satisfação de Restrições binárias usando a framework dada pela classe CSP do aima-python

24 Março 2023, 14:00 • Paulo Jorge Cunha Vaz Dias Urbano

Modelização de Problemas de Satisfação de Restrições binárias usando a framework dada pela classe CSP do aima-python

23 Março 2023, 17:00 • Helena Aidos

Formulação de problemas de satisfação de restrições em Python.