MINAŘÍK, Vojtěch. \textit{Využití SAT solverů v úloze optimalizace kombinačních obvodů}. Online. Diplomová práca. Brno: Vysoké učení technické v Brně. 2019. Dostupné z: https://theses.cz/id/pla650/.
MINAŘÍK, Vojtěch. <i>Využití SAT solverů v úloze optimalizace kombinačních obvodů</i>. Online. Diplomová práca. Brno: Vysoké učení technické v Brně. 2019. Dostupné z: https://theses.cz/id/pla650/.
MINAŘÍK, Vojtěch. Využití SAT solverů v úloze optimalizace kombinačních obvodů. Online. Diplomová práca. Brno: Vysoké učení technické v Brně. 2019. Dostupné z: https://theses.cz/id/pla650/.
@MastersThesis{Minarik2019thesis,
AUTHOR = "Minařík, Vojtěch",
TITLE = "Využití SAT solverů v úloze optimalizace kombinačních obvodů [online]",
YEAR = "2019 [cit. 2024-10-03]",
TYPE = "Diplomová práca",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/pla650/",
}
@MastersThesis{Minarik2019thesis,
AUTHOR = {Minařík, Vojtěch},
TITLE = {Využití SAT solverů v úloze optimalizace kombinačních obvodů},
YEAR = {2019},
TYPE = {Diplomová práca},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/pla650/},
URL_DATE = {2024-10-03},
}
{{Citace kvalifikační práce
| příjmení = Minařík
| jméno = Vojtěch
| instituce = Vysoké učení technické v Brně
| titul = Využití SAT solverů v úloze optimalizace kombinačních obvodů
| url = https://theses.cz/id/pla650/
| typ práce = Diplomová práca
| vedoucí =
| rok = 2019
| počet stran =
| strany =
| citace = 2024-10-03
| poznámka =
| jazyk =
}}