• 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
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 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
  • еще
Тематика
Новости
18 сентября 2026 г.
«Время на содержательные вопросы у нас не лимитировалось»
Международная лаборатория атомистического суперкомпьютерного моделирования и многомасштабного анализа НИУ ВШЭ провела масштабную конференцию «Молекулярная динамика». Участники могли услышать всех докладчиков, а сами докладчики — ответить на любое количество содержательных вопросов. О подготовке конференции и дискуссиях «Вышка.Главное» поговорила с заведующим лабораторией Григорием Смирновым и ее главным научным сотрудником Генри Норманом.
18 сентября 2026 г.
Ученые ВШЭ займутся изучением очарованных адронов в рамках BESIII
Высшая школа экономики стала университетом — участником международной коллаборации BESIII (Beijing Spectrometer III) в области физики высоких энергий. Присоединение к коллаборации стало первым практическим результатом реализации меморандума о сотрудничестве, подписанного в 2025 году между НИУ ВШЭ и Институтом физики высоких энергий (IHEP) в Пекине (КНР).
17 сентября 2026 г.
<a>НИУ ВШЭ представил в Китае исследование о безопасности нейросетей для анализа видео
Ученые Высшей школы экономики презентавали на международной конференции ChinaMM 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/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору