Результаты поиска
Материал из DISCOPAL
-
589 байт (8 слов) - 06:50, 4 мая 2023
- * [[MAX-SAT: вероятностное округление]] * [[MAX-SAT: дерандомизация]]16 КБ (531 слово) - 13:43, 18 апреля 2024
- * [[MAX-SAT: вероятностное округление]] * [[MAX-SAT: дерандомизация]]20 КБ (494 слова) - 05:44, 3 февраля 2024