Hlavní stránka > Výsledky hledání: Klátil, Jan
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Strukturované problémy pro SAT
 Klátil, Jan ; Hric, Jan (vedoucí práce) ; Kučera, Petr (oponent)
Název práce: Strukturované problémy pro SAT Autor: Jan Klátil Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: RNDr. Jan Hric, Katedra teoretické informatiky a ma- tematické logiky Abstrakt: Práce se zabývá implementací generátoru nestrukturovaných dat CSP modelu RB ve formátu XCSP a implementací několika generátorů strukturova- ných dat ve formátu XCSP a DIMACS, za kterými stojí problémy umisťování N-královen, hledání Hamiltonovského cyklu a rozdělování množiny čísel do v sou- čtu stejných podmnožin. Pomocí délek běhů SAT řešiče RSAT pak porovnáváme data získaná pomocí stejného problému přímo ve formátu DIMACS a převede- ním z formátu XCSP. Dalším srovnáním podrobujeme data vynuceně splnitelná a nesplnitelná a spojování dat strukturovaných a nestrukturovaných na úrovni formátu XCSP. Klíčová slova: strukturovaný problém, SAT 1
Úplný záznam
Strukturované problémy pro SAT
 Klátil, Jan ; Hric, Jan (vedoucí práce) ; Kučera, Petr (oponent)
Název práce: Strukturované problémy pro SAT Autor: Jan Klátil Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: RNDr. Jan Hric, Katedra teoretické informatiky a ma- tematické logiky Abstrakt: Práce se zabývá implementací generátoru nestrukturovaných dat CSP modelu RB ve formátu XCSP a implementací několika generátorů strukturova- ných dat ve formátu XCSP a DIMACS, za kterými stojí problémy umisťování N-královen, hledání Hamiltonovského cyklu a rozdělování množiny čísel do v sou- čtu stejných podmnožin. Pomocí délek běhů SAT řešiče RSAT pak porovnáváme data získaná pomocí stejného problému přímo ve formátu DIMACS a převede- ním z formátu XCSP. Dalším srovnáním podrobujeme data vynuceně splnitelná a nesplnitelná a spojování dat strukturovaných a nestrukturovaných na úrovni formátu XCSP. Klíčová slova: strukturovaný problém, SAT 1
Úplný záznam

Viz též: podobná jména autorů
2 KLÁTIL, Jaroslav
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English