Результаты поиска
Материал из DISCOPAL
Показаны 1-2 из 2 результатов запроса MAX-SAT: вероятностное округление/Задачи/MAX-3ESAT/Решение Стенина Сергея, выполненного за 0.001 секунд. Статистика:
- max-sat найдено 225 раз в 158 документах
- вероятностн найдено 859 раз в 454 документах
- округлен найдено 320 раз в 239 документах
- задач найдено 9405 раз в 3474 документах
- max-3esat найдено 42 раз в 26 документах
- решен найдено 6234 раз в 2267 документах
- стенин найдено 95 раз в 58 документах
- серге найдено 17 раз в 15 документах