KVN
Новая страница: «'''Сокращенная бинарная диаграмма решений''' (''Reduced binary decision diagram'') или '''Сокращенная БДР''' (''Reduced BDD'') — см. Бинарный граф решений»
09:55
+233