Práce na stejné téma (mají shodná klíčová slova):
binarni rozhodovaci diagramKlíčová slova abecedně | Klíčová slova dle četnosti
Knihovna pro binární rozhodovací diagramy
(Martin Paulovčák)2020, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//frxhpp// | Informační technologie / | Práce na příbuzné téma
Knihovna pro binární rozhodovací diagramy
(Petr Janků)2016, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//hj8vtl// | Informační technologie / | Práce na příbuzné téma
Tuned Sifting in CUDD for Satisfiability Solving
(Jakub Szymsza)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/g6yuf/ | Informatika / | Práce na příbuzné téma
Symbolická verifikace (SMV-tool)
(Zdeněk Janoš)2009, Diplomová práce, Fakulta elektrotechniky a informatiky / Vysoká škola báňská - Technická univerzita Ostrava
• http://hdl.handle.net/10084/73884 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Implementation of 3-valued BDDs in Q3B
(Matěj Pavlík)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/sg085/ | Aplikovaná informatika / | Práce na příbuzné téma
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
(Martin Jonáš)2019, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cg101/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Vložení velkých booleovských funkcí pro reverzibilní logiky
(Tereza Vlčková)2022, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/l6c5n/ | Matematika / Obecná matematika | Práce na příbuzné téma
Symbolic representation of multi-valued logical models in Rust
(Lukáš Chudíček)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/d0y3v/ | Programování a vývoj aplikací / | Práce na příbuzné téma