Результаты поиска
Материал из DISCOPAL
Показаны 0-0 из 0 результатов запроса MAX-SAT: дерандомизация/Задачи/, выполненного за 0.000 секунд. Статистика:
- max-sat найдено 225 раз в 158 документах
- дерандомизац найдено 138 раз в 90 документах
- задач найдено 9414 раз в 3475 документах
Соответствий запросу не найдено.