Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними
Date
2020-05-21
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Львівської політехніки
Lviv Politechnic Publishing House
Lviv Politechnic Publishing House
Abstract
In this work, we research binary
decision diagrams’ editing. We describe the main
algorithm, show the evolution way of the BDD
editing strategies, and compared their productivity.
Description
Keywords
бінарні діаграми рішень, BDD, графи, зберігання даних, обробка даних
Citation
Міхав В. Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними / Володимир Міхав, Єлизавета Мелешко // Інформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції, 21–23 травня 2020 року, Львів. — Львів : Видавництво Львівської політехніки, 2020. — С. 17–18. — (Інформаційні та комунікаційні технології в Internet та World Wide Web).