• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • A heuristic to find initial values for stochastic local search in SAT using continuous extensions of Boolean formulas
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
23 июня 2026 г.
<a><a><a>НИУ ВШЭ и Positive Technologies наградили проекты молодых ученых по оценке последствий кибератак
Молодые исследователи из ведущих вузов страны представили проекты по прогнозированию и оценке последствий кибератак. Защита идей прошла 22 июня в Москве в рамках междисциплинарного научного конкурса, организованного Институтом мировой военной экономики и стратегии НИУ ВШЭ и Positive Technologies. Победителями стали команды Военно-космической академии имени Можайского, НИУ ВШЭ и университета «Сириус» — они разделят грантовый фонд в три миллиона рублей и продолжат свои разработки под руководством научных наставников.
23 июня 2026 г.
Дрожь земли: ученые ВШЭ научились отслеживать опасные подземные вибрации в реальном времени
Исследователи из МИЭМ ВШЭ и ИПКОН РАН разработали новую математическую модель мониторинга, которая позволяет фиксировать источник опасных подземных вибраций в реальном времени. Технология поможет снизить риск повреждения зданий, дорог и другой инфраструктуры рядом с карьерами и шахтами. Работа ученых опубликована в журнале «Горная промышленность».
22 июня 2026 г.
Эффект Вышки: статьи в журналах первого квартиля и PhD в Университете Сиднея
Стефен Содоке, магистрант ОП «Население и развитие» Института демографии имени А.Г. Вишневского НИУ ВШЭ, победил в прошлом году в конкурсе научно-исследовательских работ студентов (НИРС). В 2026-м, уже в статусе выпускника Высшей школы экономики, он опубликовал две статьи в журналах первого квартиля и получил PhD в Университете Сиднея. Об исследовании Стефена и роли Вышки в его академической карьере — в нашем материале.

 

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

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

A heuristic to find initial values for stochastic local search in SAT using continuous extensions of Boolean formulas

P. 1–4.
Кащеев Н. И., Путихин Н. С.
Язык: английский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: nonlinear optimizationContinuous functionSAT solvingdiscrete valuesProbSAT solver initial valuesstochastic local searchBoolean formulasBoolean satisfiability problemrandom valuesSLS solvers

В книге

Proceedings of XV IEEE East-West Design & Test Symposium (EWDTS'2017)
Piscataway: IEEE, 2017.
Похожие публикации
Об оптимизации налоговых функций
Богачев Т. В., Попова С. Н., Математические заметки 2021 Т. 109 № 2 С. 170–179
Рассматривается задача максимизации интегрального функционала на пространстве возрастающих функций, мотивированная экономическими соображениями оптимизации налоговой системы. Получено аналитическое описание оптимального значения, а также метод аппроксимации для нахождения решения. ...
Добавлено: 13 февраля 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 г.
Book of abstracts of the IX International Conference on Optimization Methods and Applications (OPTIMA-2018), Petrovac, Montenegro, October 1-5, 2018
M.: [б.и.], 2018.
Добавлено: 9 октября 2018 г.
Метод оценки кредитоспособности физических лиц по непрерывной шкале
Романюк К. А., Экономические науки 2015 № 125 С. 109–116
Рассмотрен вопрос информативности оценки кредитоспособности физических лиц, получаемой банком при использовании методов кредитного скоринга для принятия управленческих решений, например дифференциации цены кредита. Предложен метод кредитного скоринга с оценкой кредитоспособности по непрерывной шкале. Вычислена оценка кредитоспособности предложенным методом по частной информации физических лиц. Показано, как по данной оценке банк может принять решение о дифференциации цены кредита ...
Добавлено: 20 ноября 2017 г.
Numerical optimization for Artificial Retina Algorithm
Борисяк М. А., Устюжанин А. Е., Деркач Д. А. и др., Journal of Physics: Conference Series 2017 No. 898 P. 1–7
Добавлено: 16 июня 2017 г.
Topic Models Regularization and Initialization for Regression Problems
Соколов Е. А., Bogolubsky L., , in: Proceedings of the 2015 Workshop on Topic Models: Post-Processing and Applications.: NY: ACM, 2015. P. 21–27.
Добавлено: 24 февраля 2016 г.
Learning and Intelligent Optimization. 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
Springer, 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Learning and Optimization, LION 8, which was held in Gainesville, FL, USA, in February 2014. The 33 contributions presented were carefully reviewed and selected for inclusion in this book. A large variety of topics are covered, such as algorithm configuration; multiobjective ...
Добавлено: 15 сентября 2014 г.
Lecture Notes in Computer Science
Springer, 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Learning and Optimization, LION 8, which was held in Gainesville, FL, USA, in February 2014. The 33 contributions presented were carefully reviewed and selected for inclusion in this book. A large variety of topics are covered, such as algorithm configuration; multiobjective ...
Добавлено: 13 августа 2014 г.
Математический анализ с системами Математика и Вебматематика. Непрерывные функции
Воробьев Е. М., Образовательные технологии и общество 2012 Т. 15 № 2 С. 422–432
Рассмотрена методика преподавания раздела Непрерывные функции дисциплины Математический анализ с применением систем «Математика» и «ВебМатематика». Показано, что применение систем не только визуализирует понятия и методы, принятые в традиционном способе преподавания, но и позволяет существенно углубить понимание студентами этого предмета за счет лучшей мотивировки и экспликации математических понятий. ...
Добавлено: 24 декабря 2012 г.
Optimization, Simulation, and Control
NY: Springer, 2013.
Оптимизация, моделирование и управление - это очень мощный инструмент в области проектирования и математики, который играет все более важную роль. Из-за различных реальных приложений в таких отраслях, как финансы, экономика, телекоммуникации, исследования в этих сферах ускоряются в быстром темпе, и в течение последних десятилетий также ведутся интенсивные алгоритмические и теоретические разработки в этой области. Этот ...
Добавлено: 19 декабря 2012 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору