Geodesic
Transformations of discrete functions calculation algorithms to boolean equations
The Bulletin of Irkutsk State University. Series Mathematics, Tome 4 (2011) no. 1, pp. 83-96

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

The article is devoted to the problem of transforming algorithmic descriptions of discrete functions to their equational descriptions in the form of boolean equations. We propose an approach based on propositional encoding procedures for binary random access machine programs. These procedures are used to build transformations of high-level descriptions of discrete functions calculation algorithms to boolean equations.
Keywords: discrete functions; boolean equations; random access machines. 
@article{IIGUM_2011_4_1_a7,
     author = {I. V. Otpuschennikov and A. A. Semenov},
     title = {Transformations of discrete functions calculation algorithms to boolean equations},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {83--96},
     publisher = {mathdoc},
     volume = {4},
     number = {1},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2011_4_1_a7/}
}
TY  - JOUR
AU  - I. V. Otpuschennikov
AU  - A. A. Semenov
TI  - Transformations of discrete functions calculation algorithms to boolean equations
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2011
SP  - 83
EP  - 96
VL  - 4
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2011_4_1_a7/
LA  - ru
ID  - IIGUM_2011_4_1_a7
ER  - 
%0 Journal Article
%A I. V. Otpuschennikov
%A A. A. Semenov
%T Transformations of discrete functions calculation algorithms to boolean equations
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2011
%P 83-96
%V 4
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2011_4_1_a7/
%G ru
%F IIGUM_2011_4_1_a7
I. V. Otpuschennikov; A. A. Semenov. Transformations of discrete functions calculation algorithms to boolean equations. The Bulletin of Irkutsk State University. Series Mathematics, Tome 4 (2011) no. 1, pp. 83-96. http://geodesic.mathdoc.fr/item/IIGUM_2011_4_1_a7/