Le seuil d'(1,2)-QSAT
Abstract
QSAT est la version quantifiée du problème SAT. On montre l'existence d'un effet de seuil pour la transition de phase associée à la satisfaisabilité des formules aléatoires quantifiées de type (1,2)-CNF.
Domains
Probability [math.PR]
Origin : Files produced by the author(s)