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