Project information
Development of the Q3B tool with partial BDDs
- Project Identification
- MUNI/33/0766/2022
- Project Period
- 7/2022 - 9/2023
- Investor / Pogramme / Project type
-
Masaryk University
- Internal projects of the Faculty of Informatics
- MU Faculty or unit
- Faculty of Informatics
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í.
Sustainable Development Goals
Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.
