Main problems of linear algebra related with satisfiability problem
Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 90-91
Voir la notice de l'article provenant de la source Math-Net.Ru
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.
@article{PDM_2009_10_a45,
author = {R. T. Faizullin},
title = {Main problems of linear algebra related with satisfiability problem},
journal = {Prikladna\^a diskretna\^a matematika},
pages = {90--91},
publisher = {mathdoc},
number = {10},
year = {2009},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/PDM_2009_10_a45/}
}
R. T. Faizullin. Main problems of linear algebra related with satisfiability problem. Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 90-91. http://geodesic.mathdoc.fr/item/PDM_2009_10_a45/