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
Ruddy: A performance-optimized BDD library in Rust
(Lukáš Urban)2025, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/danz1/ | Teoretická informatika / Diskrétní algoritmy a modely | 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