Результаты поиска
Материал из DISCOPAL
Показаны 0-0 из 0 результатов запроса MAX-SAT: вероятностное округление/Задачи/MAX-3ESAT/Решение Стенина Сергея, выполненного за 0.001 секунд. Статистика:
- max-sat найдено 230 раз в 160 документах
- вероятностн найдено 879 раз в 458 документах
- округлен найдено 327 раз в 243 документах
- задач найдено 9469 раз в 3453 документах
- max-3esat найдено 42 раз в 26 документах
- решен найдено 6231 раз в 2217 документах
- стенин найдено 95 раз в 58 документах
- серге найдено 18 раз в 16 документах
Соответствий запросу не найдено.