\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 {table}{\numberline {2.1}{\ignorespaces Pravdivostn\IeC {\'\i } tabulka - p\IeC {\v r}\IeC {\'\i }klad.}}{9}{table.2.1}% 
\addvspace {10pt}
\contentsline {table}{\numberline {3.1}{\ignorespaces Minimaliza\IeC {\v c}n\IeC {\'\i } funkce pro PBO - p\IeC {\v r}\IeC {\'\i }klad.}}{14}{table.3.1}% 
\addvspace {10pt}
\contentsline {table}{\numberline {4.1}{\ignorespaces Popis programov\IeC {\'y}ch modul\r {u} ze zdrojov\IeC {\'e}ho k\IeC {\'o}du Minisat+.}}{20}{table.4.1}% 
\addvspace {10pt}
\contentsline {table}{\numberline {5.1}{\ignorespaces Glob\IeC {\'a}ln\IeC {\'\i } prom\IeC {\v e}nn\IeC {\'e} v p\IeC {\r u}vodn\IeC {\'\i }m Minisat+.}}{22}{table.5.1}% 
\contentsline {table}{\numberline {5.2}{\ignorespaces P\IeC {\v r}\IeC {\'\i }klad pro testov\IeC {\'a}n\IeC {\'\i }.}}{30}{table.5.2}% 
\addvspace {10pt}
\contentsline {table}{\numberline {6.1}{\ignorespaces V\IeC {\'y}sledky pro s991 a s1423.}}{31}{table.6.1}% 
\addvspace {10pt}
\addvspace {10pt}
\addvspace {10pt}
\addvspace {10pt}
