Применение метода последовательных приближений с инерцией к решению задачи 3-ЗАТ

In this paper we consider general SAT problem as a problem of global optimization for associated functional. Without loss of generality it can be considered for 3-SAT problem too. Our aim was not local search but applying Newton's methods and Newton-like procedures for direct solution. We show so for the naive Newton method has a nontrivial kernel and there are no any kind of convergence. But, we have success on the way of modification for simple iteration method with 'inertia'.