Le seuil d'(1,2)-QSAT
Résumé
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.
Domaines
Probabilités [math.PR]
Origine : Fichiers produits par l'(les) auteur(s)