• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • A heuristic to find initial values for stochastic local search in SAT using continuous extensions of Boolean formulas
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 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
  • More
Subject
News
August 25, 2026
Scientists Develop Algorithm for More Reliable Processors in Data Centres
Researchers from HSE MIEM and Samara University have developed the LRF-3D algorithm to automatically bypass idle nodes in three-dimensional networks-on-chip. Thanks to its hierarchical architecture, the algorithm outperforms existing solutions in both speed and path accuracy, improving processor reliability for use in data centres, supercomputers, and AI computing. The source code and test results are publicly available.
August 24, 2026
Researchers Develop Method for Direct Generation of Regulatory DNA
Researchers at HSE University have developed a model for generating promoters and enhancers—DNA sequences that regulate gene activity. The model works directly with DNA nucleotides, without first transforming them into a continuous numerical representation. This solution could be useful for applications in synthetic biology and gene therapy. The study results were presented at the ICLR 2026 Workshop ‘Generative AI in Genomics (Gen^2): Barriers and Frontiers.’
August 21, 2026
Social Integration: At the Crossroads of Knowledge and Values
The International Laboratory for Social Integration Research (ILSIR) at HSE University studies the challenges faced by vulnerable groups and explores ways to help them participate fully in everyday life. To develop effective solutions, the laboratory’s researchers combine cutting-edge methods with practical fieldwork. In this interview with the HSE News Service, Laboratory Head Elena Iarskaia-Smirnova discusses the laboratory’s work.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

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

P. 1–4.
Kascheev N. I., Путихин Н. С.

Stochastic Local Search (SLS) is one of the most popular approaches to Boolean satisfiability problem and solvers based on this algorithm have made a substantial progress over the years. However, nearly all state of the art SLS solvers do not attempt to find a good starting point, instead using random values. We present a heuristic for finding an initial assignment based on non-linear optimization of continuous extension of given Boolean formula. This heuristic works by optimizing continuous function that represents the formula and then converting the result into discrete values. We also provide experimental evaluation of new heuristic implemented in ProbSAT solver.

 

Language: English
Full text
DOI
Text on another site
Keywords: nonlinear optimizationContinuous functionSAT solvingdiscrete valuesProbSAT solver initial valuesstochastic local searchBoolean formulasBoolean satisfiability problemrandom valuesSLS solvers

In book

Proceedings of XV IEEE East-West Design & Test Symposium (EWDTS'2017)
Piscataway: IEEE, 2017.
Similar publications
Об оптимизации налоговых функций
Bogachev T., Popova S., Математические заметки 2021 Т. 109 № 2 С. 170–179
We consider the problem of maximization of an integral functional on the space of increasing functions, which is motivated by economic concerns for tax mechanisms optimization. An analytical description of the optimal value is obtained, as well as an approximation method for finding the solution. ...
Added: February 13, 2021
Algorithms for (n,3)-MAXSAT and parameterization above the all-true assignment
Belova T., Bliznets I., Theoretical Computer Science 2020 No. 803 P. 222–233
In this paper, we consider the (n,3)-MAXSAT problem. The problem is a special case of the Maximum Satisfiability problem with an additional requirement that in the input formula each variable appears at most three times. Here, we improve previous upper bounds for (n,3)-MAXSAT in terms of n (number of variables) and in terms of k (number of clauses that ...
Added: February 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.
Book include abstracts of reports presented at the IX International Conference on Optimization Methods and Applications "Optimization and applications" (OPTIMA-2018) held in Petrovac, Montenegro, October 1 - October 5, 2018. ...
Added: October 9, 2018
Метод оценки кредитоспособности физических лиц по непрерывной шкале
Romanyuk K., Экономические науки 2015 № 125 С. 109–116
Рассмотрен вопрос информативности оценки кредитоспособности физических лиц, получаемой банком при использовании методов кредитного скоринга для принятия управленческих решений, например дифференциации цены кредита. Предложен метод кредитного скоринга с оценкой кредитоспособности по непрерывной шкале. Вычислена оценка кредитоспособности предложенным методом по частной информации физических лиц. Показано, как по данной оценке банк может принять решение о дифференциации цены кредита ...
Added: November 20, 2017
Numerical optimization for Artificial Retina Algorithm
Borisyak M., Ustyuzhanin A., Derkach D. et al., Journal of Physics: Conference Series 2017 No. 898 P. 1–7
High-energy physics experiments rely on reconstruction of the trajectories of particles produced at the interaction point. This is a challenging task, especially in the high track multiplicity environment generated by p-p collisions at the LHC energies. A typical event includes hundreds of signal examples (interesting decays) and a significant amount of noise (uninteresting examples). This ...
Added: June 16, 2017
Topic Models Regularization and Initialization for Regression Problems
Sokolov E., Bogolubsky L., , in: Proceedings of the 2015 Workshop on Topic Models: Post-Processing and Applications.: NY: ACM, 2015. P. 21–27.
We propose a new method of feature extraction for regression problems with text data that transforms the sparse texts to dense features using regularized topic models. We also discuss the problem of topic model initialization, and propose a new approach based on Naive Bayes. This approach is compared to many others, and it achieves a ...
Added: February 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 ...
Added: September 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 ...
Added: August 13, 2014
Математический анализ с системами Математика и Вебматематика. Непрерывные функции
Vorob'ev E. M., Образовательные технологии и общество 2012 Т. 15 № 2 С. 422–432
We consider teaching the Continuous functions topic of Calculus using Mathematica and Webmathematica. We show that it makes possible not only to visualize the traditional approach of teaching but helps the students to reach the deeper understanding of continuity. It is achieved by the best motivation and explication of mathematical concepts. ...
Added: December 24, 2012
Optimization, Simulation, and Control
NY: Springer, 2013.
Optimization, simulation and control are very powerful tools in engineering and mathematics, and play an increasingly important role. Because of their various real-world applications in industries such as finance, economics, and telecommunications, research in these fields is accelerating at a rapid pace, and there have been major algorithmic and theoretical developments in these fields in ...
Added: December 19, 2012
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit