satmrhs/ukazka_prace1.out at master · Donorlin/satmrhs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
\BOOKMARK [1][]{section*.1}{Ponuka}{}% 1
\BOOKMARK [2][]{subsection.2}{T\355m}{section*.1}% 2
\BOOKMARK [2][]{subsection.3}{Motiv\341cia}{section*.1}% 3
\BOOKMARK [2][]{subsection.4}{Hrub\375 n\341vrh a pl\341n projektu}{section*.1}% 4
\BOOKMARK [2][]{subsection.5}{Predpokladan\351 zdroje}{section*.1}% 5
\BOOKMARK [2][]{subsection.6}{Rozvrh}{section*.1}% 6
\BOOKMARK [2][]{subsection.7}{Ciele rie\235enia}{section*.1}% 7
\BOOKMARK [1][]{section.8}{Teoretick\351 z\341klady}{}% 8
\BOOKMARK [2][]{subsection.9}{SAT}{section.8}% 9
\BOOKMARK [2][]{subsection.17}{MRHS rovnice a s\372stavy}{section.8}% 10
\BOOKMARK [1][]{section.19}{Algoritmy}{}% 11
\BOOKMARK [2][]{subsection.20}{Algoritmus na rie\235enie MRHS s\372stavy}{section.19}% 12
\BOOKMARK [2][]{subsection.37}{Prevod SAT probl\351mu na MRHS}{section.19}% 13
\BOOKMARK [2][]{subsection.83}{Heuristick\341 optimaliz\341cia poradia klauz\372l}{section.19}% 14
\BOOKMARK [2][]{subsection.106}{Transform\341cia pre Dual space solver}{section.19}% 15
\BOOKMARK [2][]{subsection.113}{Dual space solution algoritmus}{section.19}% 16
\BOOKMARK [1][]{section.114}{Dokument\341cia k programu}{}% 17
\BOOKMARK [2][]{subsection.115}{SAT challenge \235pecifik\341cia}{section.114}% 18
\BOOKMARK [3][]{subsubsection.116}{DIMACS input form\341t}{subsection.115}% 19
\BOOKMARK [3][]{subsubsection.119}{Output form\341t}{subsection.115}% 20
\BOOKMARK [2][]{subsection.122}{MRHS solver}{section.114}% 21
\BOOKMARK [2][]{subsection.123}{Nov\341 funkcionalita}{section.114}% 22
\BOOKMARK [1][]{section.124}{Experiment\341lna cast}{}% 23
\BOOKMARK [2][]{subsection.125}{Testovacia platforma}{section.124}% 24
\BOOKMARK [2][]{subsection.126}{Metodika experimentov}{section.124}% 25
\BOOKMARK [2][]{subsection.127}{Vyhodnotenie experimentov}{section.124}% 26
\BOOKMARK [3][]{subsubsection.128}{3-SAT pevn\375 pomer m/n}{subsection.127}% 27
\BOOKMARK [3][]{subsubsection.131}{3-SAT premenliv\375 pomer}{subsection.127}% 28
\BOOKMARK [3][]{subsubsection.134}{4-SAT pevn\375 pomer m/n}{subsection.127}% 29
\BOOKMARK [3][]{subsubsection.137}{4-SAT premenliv\375 pomer}{subsection.127}% 30
\BOOKMARK [1][]{section*.140}{Zoznam pou\236itej literat\372ry}{}% 31