Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 348)
Seznam prací
   Přihlásit přes CAS
Změnit třídění na kód - název
 
               
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail Using Constrained Horn Clauses for Hierarchical Planning 2020/2021 2020/2021 bakalářská práce Mgr. Martin Blicha Bc. Marián Kažimír 27.01.2021 29.01.2021 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail IC3 with Implicit Predicate Abstraction for Golem Horn solver 2022/2023 bakalářská práce Mgr. Martin Blicha   03.10.2022 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Implementation of a prototyped MCSat-based SMT solver 2022/2023 bakalářská práce Mgr. Martin Blicha   03.10.2022 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Branching loop summarization 2020/2021 2020/2021 diplomová práce ISS Mgr. Martin Blicha skrytý 08.10.2020 09.02.2021 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Property directed k-induction for Golem Horn solver 2022/2023 bakalářská práce Mgr. Martin Blicha   03.10.2022 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Bit-vector solver pro OpenSMT 2022/2023 diplomová práce Mgr. Martin Blicha   08.10.2020 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Výsledky 1-6 z 6 1
 
Univerzita Karlova | Informační systém UK