Últimos anúncios

Exemplos de input e output para o 1º projecto

17 Outubro 2017, 13:23 Vasco Miguel Gomes Nunes Manquinho

Está disponível na secção Projecto um ficheiro zip com vários exemplos de input e output para testarem a vossa implementação.


1º Projeto

13 Outubro 2017, 16:32


Leitura de grafos

6 Outubro 2017, 20:24


MaxSAT

2 Outubro 2017, 22:30


Enumeração de modelos

25 Setembro 2017, 15:31

Corpo Docente

Inês Lynce

Responsavel

ines.lynce@tecnico.ulisboa.pt

Vasco Miguel Gomes Nunes Manquinho

Responsavel

vasco.manquinho@inesc-id.pt

Mikolas Janota
mikolas.janota@tecnico.ulisboa.pt