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 |