KVN
Новая страница: «'''Сокращенная упорядоченная бинарная диаграмма решений (СУБДР)''' (''Reduced ordered binary decision diagram, ROBDD'') — см. Бинарный граф решений»
09:58
+227