Результаты поиска
Материал из DISCOPAL
Показаны 0-0 из 0 результатов запроса MAX-SAT: дерандомизация/Задачи/shell-game/Решение Рубановой, выполненного за 0.000 секунд. Статистика:
- max-sat найдено 224 раз в 157 документах
- дерандомизац найдено 136 раз в 89 документах
- задач найдено 9377 раз в 3460 документах
- shell-gam найдено 28 раз в 22 документах
- решен найдено 6227 раз в 2260 документах
- рубанов найдено 37 раз в 26 документах
Соответствий запросу не найдено.