Práce na stejné téma (mají shodná klíčová slova):
binary decision diagramKlíčová slova abecedně | Klíčová slova dle četnosti
Satisfiability of DQBF Using Binary Decision Diagrams
(Juraj Síč)2020, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/prexv/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Hardware - constrained Packet Classification
(David Antoš)2006, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xeru6/ | Informatika / | Práce na příbuzné téma
Analýza Booleovských Sietí v Nástroji Pithya Pomocou Binárnych Rozhodovacích Diagramov
(Jakub Poláček)2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gjy98/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma