,

Efficient Analysis and Manipulation of OBDDs can be Extended to Read-once-only Branching Programs

, и .
Universität Trier, Mathematik/Informatik, Forschungsbericht, (1992)

Метаданные

тэги

    Пользователи данного ресурса

    Комментарии и рецензии