Результаты поиска
Материал из DISCOPAL
Показаны 0-0 из 0 результатов запроса MAX-SAT: вероятностное округление/Задачи/MAX-3ESAT/Решение Девицкий Иван, выполненного за 0.001 секунд. Статистика:
- max-sat найдено 223 раз в 156 документах
- вероятностн найдено 848 раз в 451 документах
- округлен найдено 318 раз в 237 документах
- задач найдено 9307 раз в 3428 документах
- max-3esat найдено 42 раз в 26 документах
- решен найдено 6191 раз в 2230 документах
- девицк найдено 22 раз в 21 документах
- иван найдено 87 раз в 77 документах
Соответствий запросу не найдено.