Some classes of Boolean equation systems permitting effective solution
Trudy po diskretnoj matematike, Trudy po Diskretnoi Matematike, Tome 3 (2000), pp. 269-282
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TDM_2000_3_a15,
author = {V. G. Smirnov},
title = {Some classes of {Boolean} equation systems permitting effective solution},
journal = {Trudy po diskretnoj matematike},
pages = {269--282},
publisher = {mathdoc},
volume = {3},
year = {2000},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TDM_2000_3_a15/}
}
V. G. Smirnov. Some classes of Boolean equation systems permitting effective solution. Trudy po diskretnoj matematike, Trudy po Diskretnoi Matematike, Tome 3 (2000), pp. 269-282. http://geodesic.mathdoc.fr/item/TDM_2000_3_a15/