Результаты поиска

Материал из DISCOPAL
Перейти к: навигация, поиск
Показаны 1-1 из 1 результатов запроса MAX-SAT: дерандомизация/Задачи/shell-game/Решение Рубановой, выполненного за 0.001 секунд. Статистика:
  • max-sat найдено 230 раз в 160 документах
  • дерандомизац найдено 141 раз в 93 документах
  • задач найдено 9469 раз в 3453 документах
  • shell-gam найдено 28 раз в 22 документах
  • решен найдено 6231 раз в 2217 документах
  • рубанов найдено 37 раз в 26 документах
  • #перенаправление [[MAX-SAT: дерандомизация/Задачи/shell-game/Решение Рубановой]]
    131 байт (2 слова) - 19:15, 10 декабря 2013