Matfyz Wiki
Na zkousce jsme byli dva (teda mimo spousty automataku). Ja jsem dostal konzistencni techniky + popsat nejakou dobrou AC, kolega tusim ze prohledavani do hloubky. Napsal jsem takovy obecny prehled (k-konzistence + ruzne kategorie, vztahy, strucne slovne principy algoritmu) a pseudokod AC-3. Bartak nastesti nestoural a je to doma.