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.
Type de document :
Document associé à des manifestations scientifiques
Journées MAS et Journée en l'honneur de Jacques Neveu, Aug 2010, Talence, France
https://hal.inria.fr/inria-00509841
Contributeur : Conférence Mas2010
<>
Soumis le : lundi 16 août 2010 - 16:54:49
Dernière modification le : mercredi 30 mai 2018 - 10:28:02
Document(s) archivé(s) le : mercredi 17 novembre 2010 - 02:53:17
