Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними

Journal Title

Journal ISSN

Volume Title

Publisher

Видавництво Львівської політехніки
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

Citation

Міхав В. Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними / Володимир Міхав, Єлизавета Мелешко // Інформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції, 21–23 травня 2020 року, Львів. — Львів : Видавництво Львівської політехніки, 2020. — С. 17–18. — (Інформаційні та комунікаційні технології в Internet та World Wide Web).

Endorsement

Review

Supplemented By

Referenced By