\babel@toc {czech}{}
\babel@toc {czech}{}
\babel@toc {english}{}
\babel@toc {czech}{}
\babel@toc {english}{}
\babel@toc {czech}{}
\addvspace {10pt}
\addvspace {10pt}
\addvspace {10pt}
\contentsline {figure}{\numberline {2.1}{\ignorespaces Testov\IeC {\'a}n\IeC {\'\i } obvodu.}}{6}{figure.2.1}% 
\contentsline {figure}{\numberline {2.2}{\ignorespaces Poruchy v obvodu.}}{7}{figure.2.2}% 
\contentsline {figure}{\numberline {2.3}{\ignorespaces Excitace a propagace poruchy.}}{8}{figure.2.3}% 
\contentsline {figure}{\numberline {2.4}{\ignorespaces Obvod pro v\IeC {\'y}po\IeC {\v c}et SAT.}}{10}{figure.2.4}% 
\contentsline {figure}{\numberline {2.5}{\ignorespaces Model sekven\IeC {\v c}n\IeC {\'\i }ho obvodu.}}{11}{figure.2.5}% 
\contentsline {figure}{\numberline {2.6}{\ignorespaces Architektura RAS}}{12}{figure.2.6}% 
\contentsline {figure}{\numberline {2.7}{\ignorespaces Komprese v architektu\IeC {\v r}e RAS.}}{12}{figure.2.7}% 
\addvspace {10pt}
\addvspace {10pt}
\contentsline {figure}{\numberline {4.1}{\ignorespaces Diagram pou\IeC {\v z}it\IeC {\'y}ch modul\IeC {\r u} z LogSynth.}}{16}{figure.4.1}% 
\contentsline {figure}{\numberline {4.2}{\ignorespaces Minisat+ pod Cygwin.}}{17}{figure.4.2}% 
\contentsline {figure}{\numberline {4.3}{\ignorespaces P\IeC {\r u}vodn\IeC {\'\i } zdrojov\IeC {\'y} form\IeC {\'a}t pro Minisat+.}}{18}{figure.4.3}% 
\addvspace {10pt}
\contentsline {figure}{\numberline {5.1}{\ignorespaces Sekven\IeC {\v c}n\IeC {\'\i } diagram spolupr\IeC {\'a}ce t\IeC {\v r}\IeC {\'\i }d Solver a Helper.}}{26}{figure.5.1}% 
\contentsline {figure}{\numberline {5.2}{\ignorespaces Jednoduch\IeC {\'y} testovac\IeC {\'\i } obvod.}}{29}{figure.5.2}% 
\addvspace {10pt}
\contentsline {figure}{\numberline {6.1}{\ignorespaces ISCAS s991.}}{32}{figure.6.1}% 
\contentsline {figure}{\numberline {6.2}{\ignorespaces ISCAS s991 bez minimalizace (pouze SAT).}}{32}{figure.6.2}% 
\contentsline {figure}{\numberline {6.3}{\ignorespaces ISCAS s1429.}}{33}{figure.6.3}% 
\contentsline {figure}{\numberline {6.4}{\ignorespaces ISCAS s1429 bez minimalizace (pouze SAT).}}{33}{figure.6.4}% 
\contentsline {figure}{\numberline {6.5}{\ignorespaces ISCAS s13207.}}{34}{figure.6.5}% 
\addvspace {10pt}
\addvspace {10pt}
\addvspace {10pt}
\addvspace {10pt}
