• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

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

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