New Length Dependent Algorithm for Maximum Satisfiability Problem

Alferov V.; I. Bliznets

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

19 мая 2026 г.

Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря

В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

18 мая 2026 г.

В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского

Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.

15 мая 2026 г.

В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций

Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

New Length Dependent Algorithm for Maximum Satisfiability Problem

P. 3634–3641.

Alferov V., Близнец И. А.

Язык: английский

Ключевые слова: satisfiability Maximum satisfiability maxsat maximum satisfiability

В книге

Thirty-Fifth AAAI Conference on Artificial Intelligence. Technical Tracks 5

Vol. 35. Issue 5. , AAAI Press, 2021.

Algorithms for (n,3)-MAXSAT and parameterization above the all-true assignment

Belova T., Близнец И. А., Theoretical Computer Science 2020 No. 803 P. 222–233

Добавлено: 6 февраля 2020 г.

Upper and Lower Bounds for Different Parameterizations of (n,3)-MAXSAT

Belova T., Близнец И. А., , in: Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings.: Springer, 2018. P. 299–313.

Добавлено: 13 ноября 2019 г.

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces

Kontchakov R., Pratt-Hartmann I., Захарьящев М. В., Artificial Intelligence 2014 Vol. 217 P. 43–75

Добавлено: 24 марта 2015 г.