Разработка эвристик для повышения эффективности современных алгоритмов решения проблемы максимальной выполнимости (MaxSAT)

Руководитель: Кочемазов Степан Евгеньевич

Тип проекта: РНФ

Конкурс:

Номер: 22-21-00834
Номер ЦИТИС: 123

Дата начала: 01.01.2022
Дата завершения: 31.12.2024

URL: https://yandex.ru/images/search?from=tabbar&img_url=https%3A%2F%2Favatars.yandex.net%2Fget-music-content%2F14728505%2Ff28be0f4.a.33788342-1%2F200x200&lr=63&pos=1&rpt=simage&text=NoНейма%2C%20BartiZ%20-%20Room

Описание:

По данному проекту в системе не зарегистрировано публикаций