Geodesic
On the solution of chess positions using computational tree logic
Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 11 (2011) no. 1, pp. 111-121

Voir la notice de l'article provenant de la source Math-Net.Ru

The paper describes a construction of four formulas of Computational tree logic corresponding to an arbitrary chess position. At least one of these formulas is satisfiable and leads to the solution of chess position: value of position (a draw or a victory of one of the sides) and necessary strategy for getting this value is constructed using the formula model. 
@article{ISU_2011_11_1_a15,
     author = {R. V. Khelemendik},
     title = {On the solution of chess positions using computational tree logic},
     journal = {Izvestiya of Saratov University. Mathematics. Mechanics. Informatics},
     pages = {111--121},
     publisher = {mathdoc},
     volume = {11},
     number = {1},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ISU_2011_11_1_a15/}
}
TY  - JOUR
AU  - R. V. Khelemendik
TI  - On the solution of chess positions using computational tree logic
JO  - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
PY  - 2011
SP  - 111
EP  - 121
VL  - 11
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ISU_2011_11_1_a15/
LA  - ru
ID  - ISU_2011_11_1_a15
ER  - 
%0 Journal Article
%A R. V. Khelemendik
%T On the solution of chess positions using computational tree logic
%J Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
%D 2011
%P 111-121
%V 11
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ISU_2011_11_1_a15/
%G ru
%F ISU_2011_11_1_a15
R. V. Khelemendik. On the solution of chess positions using computational tree logic. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 11 (2011) no. 1, pp. 111-121. http://geodesic.mathdoc.fr/item/ISU_2011_11_1_a15/