NI-ZI-3
NI-UMI Systematické a lokální splňování v logice (DPLL, CDCL, WalkSAT, posílání zpráv). Rozhodování v teoriích prvního řádu, obecná rezoluce, princip SAT-modulovaných teorií (SMT). Zpracování přirozeného jazyka.
NI-UMI Systematické a lokální splňování v logice (DPLL, CDCL, WalkSAT, posílání zpráv). Rozhodování v teoriích prvního řádu, obecná rezoluce, princip SAT-modulovaných teorií (SMT). Zpracování přirozeného jazyka.