\addvspace {10\p@ }
\addvspace {10\p@ }
\contentsline {figure}{\numberline {2.1}{\ignorespaces Rekurzivn\IeC {\'\i } DP algoritmus}}{6}
\contentsline {figure}{\numberline {2.2}{\ignorespaces Stavov\'y prostor SAT probl\'emu}}{7}
\contentsline {figure}{\numberline {2.3}{\ignorespaces Iterativn\IeC {\'\i } podoba DLL algoritmu}}{10}
\contentsline {figure}{\numberline {2.4}{\ignorespaces Jednoduch\'y ROBDD}}{10}
\contentsline {figure}{\numberline {2.5}{\ignorespaces Minimalizace c\IeC {\'\i }lov\'e funkce}}{13}
\contentsline {figure}{\numberline {2.6}{\ignorespaces Local search algoritmus WalkSATu}}{15}
\contentsline {figure}{\numberline {2.7}{\ignorespaces Two Literal Watching sch\'ema}}{16}
\contentsline {figure}{\numberline {2.8}{\ignorespaces Typick\'y implika\v cn\IeC {\'\i } graf}}{18}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {3.1}{\ignorespaces Obr\'azek k p\v r\IeC {\'\i }kladu (1)}}{28}
\contentsline {figure}{\numberline {3.2}{\ignorespaces Obr\'azek k p\v r\IeC {\'\i }kladu (2)}}{29}
\addvspace {10\p@ }
\addvspace {10\p@ }
\addvspace {10\p@ }
\contentsline {figure}{\numberline {B.1}{\ignorespaces Obsah p\v rilo\v zen\'eho CD}}{43}
