This article is cited in 2 papers

Computational Methods in Discrete Mathematics

Main problems of linear algebra related with satisfiability problem

R. T. Faizullin


Abstract: The aim of this paper is to establish relation between well-known Satisfiability problem and two main problems of linear algebra. A functional is constructed whose minimum is achieved on the SAT solution.

UDC: 519.7