Principy a provedení osazovacích automatů pro SMT bakalářská práce - Plášek, Petr (2001)