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
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ě.

Cíl udržitelného rozvoje č.  8 – Důstojná práce a ekonomický růst Cíl udržitelného rozvoje č.  9 – Průmysl, inovace a infrastruktura

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info