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.
Type de document :
Document associé à des manifestations scientifiques
Journées MAS et Journée en l'honneur de Jacques Neveu, Aug 2010, Talence, France
Liste complète des métadonnées

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

Fichier

OpC-Rossignol.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00509841, version 1

Collections

Citation

Raphael Rossignol. Le seuil d'(1,2)-QSAT. Journées MAS et Journée en l'honneur de Jacques Neveu, Aug 2010, Talence, France. 〈inria-00509841〉

Partager

Métriques

Consultations de la notice

46

Téléchargements de fichiers

398