Satisfiability probability for systems of random equations
Trudy po diskretnoj matematike, Trudy po Diskretnoi Matematike, Tome 3 (2000), pp. 139-146
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TDM_2000_3_a8,
author = {V. F. Kolchin},
title = {Satisfiability probability for systems of random equations},
journal = {Trudy po diskretnoj matematike},
pages = {139--146},
publisher = {mathdoc},
volume = {3},
year = {2000},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TDM_2000_3_a8/}
}
V. F. Kolchin. Satisfiability probability for systems of random equations. Trudy po diskretnoj matematike, Trudy po Diskretnoi Matematike, Tome 3 (2000), pp. 139-146. http://geodesic.mathdoc.fr/item/TDM_2000_3_a8/