Práce na stejné téma (mají shodná klíčová slova):
satKlíčová slova abecedně | Klíčová slova dle četnosti
Využití SAT solverů v úloze optimalizace kombinačních obvodů
(Vojtěch Minařík)2019, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//pla650// | Informační technologie / | Práce na příbuzné téma
Redukce velikosti konečných automatů pomocí SAT solveru
(Michal Šedý)2021, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//1oqwas// | Informační technologie / | Práce na příbuzné téma
Quantum 2-SAT in 1D geometry
(Libor Caha)2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fyhuo/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Server pro podporu výuky ARUO - využití řešičů SAT
(Ivana Skýbová)2015, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/108953 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
SAT Solver akcelerovaný pomocí GPU
(Petr Izrael)2016, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//qauzm7// | Informační technologie / | Práce na příbuzné téma
SAT: indexování metrických prostorů
(Milan Štefina)2008, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nuf8i/ | Aplikovaná informatika / | Práce na příbuzné téma
Posouzení ekonomiky konvenčního svařování MAG a technologie ESAB-SAT
(David Lžičař)2012, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//2502kz// | Strojní inženýrství / | Práce na příbuzné téma
Mechanická konstrukce pozemní pozorovací stanice české amatérské družice CUBE SAT
(Radek BELDÍK)2010, Diplomová práce, Pedagogická fakulta / UNIVERZITA JANA EVANGELISTY PURKYNĚ V ÚSTÍ NAD LABEM
• http://theses.cz/id//px08kf// | Učitelství pro základní školy / Uč. pro 2.st. ZŠ FY-TCH | Práce na příbuzné téma
Představy rodičů hlídaných dětí o naplnění (volného) času, při hlídání pečující osobou
(Klára BOHÁČOVÁ)2023, Bakalářská práce, Teologická fakulta / JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH
• http://theses.cz/id//xmault// | Pedagogika volného času / | Práce na příbuzné téma
Dějiny odívání ve výstavnických aktivitách muzea Libreto k výstavě "Šaty dělají člověka - člověk dělá šaty"
(Ludmila Klásková)2011, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/zjmu2/ | Historické vědy / Muzeologie | Práce na příbuzné téma