• 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
  • еще
Тематика
Новости
2 июня 2026 г.
Человеческий капитал перевешивает социальный: исследование факторов трудовой мобильности в России
Образование и здоровье оказываются важнее связей, блата и знакомств для мобильности российских работников на рынке труда. К такому выводу пришли ученые НИУ ВШЭ, проанализировав данные лонгитюдного обследования домохозяйств «Российский мониторинг экономического положения и здоровья населения НИУ ВШЭ» (РМЭЗ НИУ ВШЭ) за 2016–2019 годы. Главный фактор, который влияет на карьерную мобильность россиян, — получение высшего образования и улучшение самооценки здоровья.
1 июня 2026 г.
Ученые ВШЭ объяснили, как эмоции человека влияют на отношение к цифровому государству
Сегодня взаимодействие человека с государством все чаще происходит через цифровые платформы: порталы госуслуг, электронные сервисы, системы на основе искусственного интеллекта и алгоритмы принятия решений. Однако до сих пор такие технологии в основном рассматривались как технические инструменты, эффективность которых оценивают по скорости работы и удобству интерфейсов. Авторы нового исследования предлагают смотреть на цифровое управление шире — как на эмоциональный опыт, который напрямую влияет на доверие граждан к государству.
28 мая 2026 г.
«Мне нравятся самосбывающиеся пророчества»
Андрей Ворчик изучает счастье, читает научпоп-лекции и хочет, чтобы наука занималась в том числе общественными проблемами. В интервью проекту «Молодые ученые Вышки» он рассказал о том, как эмоции влияют на принятие решений, Бермудском треугольнике из ванной, холодильника и кровати и идеальной формуле образования.

 

Нашли опечатку?
Выделите её, нажмите 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
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору