Calendari dels laboratoris

grups 11, 12, 13, 21, 22

dj 15 feb

pràctica 1: sat solver

dj 22 feb

pràctica 1: sat solver

dj 29 feb

pràctica 2: prolog

dj 07 mar

pràctica 2: prolog

dj 14 mar

pràctica 3: codificació en sat

dj 21 mar

pràctica 3: codificació en sat

dc 03 abr

EXAMEN LABORATORI 15:00h

dj 11 abr

pràctica 4: optimització en sat

dj 18 abr

pràctica 4: optimització en sat

dj 25 abr

pràctica 5: prolog avançat

dj 02 mai

pràctica 5: prolog avançat

dj 09 mai

pràctica 6: constraint logic programming

dj 16 mai

pràctica 6: constraint logic programming

dj 23 mai

dj 30 mai

dt 04 jun

EXAMEN LABORATORI 11:30h