Результаты поиска
Материал из DISCOPAL
Показаны 0-0 из 0 результатов запроса MAX-SAT: вероятностное округление/Задачи/MAX-SAT-1-2-expected-time/Решение Марковцева Вадима, выполненного за 0.000 секунд. Статистика:
- max-sat найдено 225 раз в 158 документах
- вероятностн найдено 864 раз в 455 документах
- округлен найдено 320 раз в 239 документах
- задач найдено 9414 раз в 3475 документах
- max-sat-1-2-expected-tim найдено 25 раз в 13 документах
- решен найдено 6240 раз в 2268 документах
- марковцев найдено 11 раз в 11 документах
- вадим найдено 20 раз в 20 документах
Соответствий запросу не найдено.