IZRAEL, Petr. \textit{SAT Solver akcelerovaný pomocí GPU}. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/qauzm7/.
IZRAEL, Petr. <i>SAT Solver akcelerovaný pomocí GPU</i>. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/qauzm7/.
IZRAEL, Petr. SAT Solver akcelerovaný pomocí GPU. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/qauzm7/.
@MastersThesis{Izrael2016thesis,
AUTHOR = "Izrael, Petr",
TITLE = "SAT Solver akcelerovaný pomocí GPU [online]",
YEAR = "2016 [cit. 2024-10-19]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/qauzm7/",
}
@MastersThesis{Izrael2016thesis,
AUTHOR = {Izrael, Petr},
TITLE = {SAT Solver akcelerovaný pomocí GPU},
YEAR = {2016},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/qauzm7/},
URL_DATE = {2024-10-19},
}
{{Citace kvalifikační práce
| příjmení = Izrael
| jméno = Petr
| instituce = Vysoké učení technické v Brně
| titul = SAT Solver akcelerovaný pomocí GPU
| url = https://theses.cz/id/qauzm7/
| typ práce = Diplomová práce
| vedoucí =
| rok = 2016
| počet stran =
| strany =
| citace = 2024-10-19
| poznámka =
| jazyk =
}}