\begin{thebibliography}{10}

\bibitem{logSynthesis}
R.~K. Brayton.
\newblock Logic synthesis, 2000.
\newblock \\\verb|www.eecs.berkeley.edu/~brayton/courses/219b/ppslides/|.

\bibitem{espresso}
R.~K. Brayton, G.~D. Hachtel, C.~T. McMullen, and A.~L.
  Sangiovanni-Vincentelii.
\newblock {\em {Logic Minimization Algorithms for VLSI Synthesis}}.
\newblock Kluwer Academic Publishers, 1984.

\bibitem{chromy}
R.~Chromý.
\newblock {\em Detekce tautologie, výpočet komplementu booleovské funkce}.
\newblock Semestrální projekt, ČVUT v Praze, FEL, 2004.

\bibitem{dml}
M.~Demlová.
\newblock Přednášky z předmětu {X01DML}, 2009.
\newblock \\\verb|http://math.feld.cvut.cz/demlova/teaching/dml/pred02.pdf|.

\bibitem{eAcademy}
E-academy.
\newblock Student's downloads, 2009.
\newblock \\\verb|http://www.e-academy.com/|.

\bibitem{boom}
P.~Fišer and H.~Kubátová.
\newblock Flexible {Two-Level Boolean Minimizer BOOM-II} and its applications.
\newblock {\em In Proceedings of 9th Euromicro Conference on Digital System
  Design. Los Alamitos: IEEE Computer Society,ISBN 0-7695-2609-8}, 2006.

\bibitem{mechura}
T.~Měchura.
\newblock {\em Parametrizovaný generátor náhodných logických obvodů}.
\newblock Diplomová práce, ČVUT v Praze, FEL, 2008.

\bibitem{miklanek}
M.~Miklánek.
\newblock {\em Úprava minimalizačního nástroje {ESPRESSO}}.
\newblock Bakalářská práce, ČVUT v Praze, FEL, 2008.

\bibitem{navrkal}
M.~Navrkal.
\newblock {\em Detekce tautologie pomocí {BDD}}.
\newblock Bakalářská práce, ČVUT v Praze, FEL, 2006.

\bibitem{vala}
P.~Vála.
\newblock {\em Manipulace s logickými funkcemi pomocí grafů}.
\newblock Diplomová práce, ČVUT v Praze, FEL, 2009.

\bibitem{asympSloz}
Wikipedia.
\newblock Asymptotická složitost, 2009.
\newblock
  \\\verb|http://cs.wikipedia.org/wiki/Asymptotick%C3%A1_slo%C5%BEitost|.

\bibitem{bddWiki}
Wikipedia.
\newblock Binary decision diagram, 2009.
\newblock \\\verb|http://en.wikipedia.org/wiki/Binary_decision_diagram|.

\bibitem{paa}
X36PAA.
\newblock Měření {CPU} času ve windows v {C++}, 2006.
\newblock
  \\\verb|http://service.felk.cvut.cz/courses/X36PAA/CPU_time_C++.html|.

\end{thebibliography}
