Результаты поиска
Материал из DISCOPAL
Показаны 1-1 из 1 результатов запроса MAX-SAT: дерандомизация/Задачи/shell-game/Решение Рубановой, выполненного за 0.000 секунд. Статистика:
- max-sat найдено 225 раз в 158 документах
- дерандомизац найдено 138 раз в 90 документах
- задач найдено 9414 раз в 3475 документах
- shell-gam найдено 28 раз в 22 документах
- решен найдено 6240 раз в 2268 документах
- рубанов найдено 37 раз в 26 документах
- #перенаправление [[MAX-SAT: дерандомизация/Задачи/shell-game/Решение Рубановой]]131 байт (2 слова) - 19:15, 10 декабря 2013