\addvspace {10\p@ }
\addvspace {10\p@ }
\contentsline {table}{\numberline {2.1}{\ignorespaces Pou\v zit\'e benchmarky}}{20}
\contentsline {table}{\numberline {2.2}{\ignorespaces Srovn\'an\IeC {\'\i } heuristik WalkSATu}}{22}
\contentsline {table}{\numberline {2.3}{\ignorespaces Vliv po\v ctu prom\v enn\'ych na v\'ykon EBDDRESu}}{23}
\contentsline {table}{\numberline {2.4}{\ignorespaces Vliv po\v ctu klauzul\IeC {\'\i } na v\'ykon EBDDRESu}}{23}
\contentsline {table}{\numberline {2.5}{\ignorespaces Srovn\'an\IeC {\'\i } heuristik EBDDRESu}}{24}
\contentsline {table}{\numberline {2.6}{\ignorespaces Srovn\'an\IeC {\'\i } jednotliv\'ych SAT solver\r u}}{25}
\contentsline {table}{\numberline {2.7}{\ignorespaces Vliv po\v ctu prom\v enn\'ych na v\'ykon SAT solver\r u}}{25}
\contentsline {table}{\numberline {2.8}{\ignorespaces Vliv po\v ctu klauzul\IeC {\'\i } na v\'ykon SAT solver\r u}}{26}
\contentsline {table}{\numberline {2.9}{\ignorespaces Vliv pom\v eru po\v ctu klauzul\IeC {\'\i } ku po\v ctu prom\v enn\'ych}}{26}
\addvspace {10\p@ }
\contentsline {table}{\numberline {3.1}{\ignorespaces Srovn\'an\IeC {\'\i } MiniSatu a DCSATu}}{32}
\contentsline {table}{\numberline {3.2}{\ignorespaces Porovn\'an\IeC {\'\i } DCSATu s BoolToolem}}{33}
\contentsline {table}{\numberline {3.3}{\ignorespaces Vliv po\v ctu prom\v enn\'ych na v\'ykon DCSATu (1)}}{33}
\contentsline {table}{\numberline {3.4}{\ignorespaces Vliv po\v ctu prom\v enn\'ych na v\'ykon DCSATu (2)}}{34}
\contentsline {table}{\numberline {3.5}{\ignorespaces Vliv po\v ctu klauzul\IeC {\'\i } na v\'ykon DCSATu (1)}}{34}
\contentsline {table}{\numberline {3.6}{\ignorespaces Vliv po\v ctu klauzul\IeC {\'\i } na v\'ykon DCSATu (2)}}{34}
\contentsline {table}{\numberline {3.7}{\ignorespaces Vliv pom\v eru klauzul\IeC {\'\i }/prom\v enn\'ych na v\'ykon DCSATu}}{35}
\addvspace {10\p@ }
\addvspace {10\p@ }
\addvspace {10\p@ }
