# zkouska 4.6.2007

<{ForumPost(poster="MyS", timestamp=2007-06-04 12:43:47)}>
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.
<{/ForumPost}>