Главная       Библиотека      Перечень ссылок      Диссертация       Отчет о поиске

Библиотека

Поляков Андрей Николаевич

по теме "Исследование параллельных методов символического моделирования и верификации"


  1. Алгоритмы для управления Бинарными функциями основанные на графах. Рандал Браянт (в этой статья представлена новая структура данных для представления Бинарных функций и связанное множество манипуляционных алгоритмов.) (перевод с Английского Поляков А.Н.) здесь

  2. Введение в теорию бинарных диаграмм принятия решений Сентябрь 1996 Henrik Reif Andersen Эта статья краткое введение в теорию бинарную схему принятия решений. Она содержит фундаментальные знания и описание ключевых алгоритмов. Более детальное описание можно найти в статьях Браянта [Bry86, Bry92]. здесь (на английском)

  3. Visualization of Binary Decision Diagram Краткий свод алгоритмов для реализации BDD. здесь (на английском)

Главная       Библиотека      Перечень ссылок      Диссертация