Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 90-91
Citer cet article
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/
@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},
year = {2009},
number = {10},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/PDM_2009_10_a45/}
}
TY - JOUR
AU - R. T. Faizullin
TI - Main problems of linear algebra related with satisfiability problem
JO - Prikladnaâ diskretnaâ matematika
PY - 2009
SP - 90
EP - 91
IS - 10
UR - http://geodesic.mathdoc.fr/item/PDM_2009_10_a45/
LA - ru
ID - PDM_2009_10_a45
ER -
%0 Journal Article
%A R. T. Faizullin
%T Main problems of linear algebra related with satisfiability problem
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 90-91
%N 10
%U http://geodesic.mathdoc.fr/item/PDM_2009_10_a45/
%G ru
%F PDM_2009_10_a45
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.
