Informace o projektu
Vývoj nástroje Q3B s částečnými BDD
- Kód projektu
- MUNI/33/0766/2022
- Období řešení
- 7/2022 - 9/2023
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Interní projekty FI
- Program pro podporu studentských výzkumných a vývojových projektů
- Fakulta / Pracoviště MU
- Fakulta informatiky
Q3B je zavedený SMT-solver pro teorii kvantifikovaných bitvektorových formulí, který využívá k reprezentaci průběžných výsledků datovou strukturu BDD. V roce 2021 vznikla verze Q3B využívající částečné BDD se slibnými experimentálními výsledky. Cílem projektu je implementovat operace redukující velikost částečných BDD podle různých parametrů, což by mělo vést ke zrychlení výpočtu Q3B na některých typech formulí.
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
