Skip to Main content Skip to Navigation
Documents associated with scientific events

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.
Document type :
Documents associated with scientific events
Complete list of metadata

https://hal.inria.fr/inria-00509841
Contributor : Conférence Mas2010 Connect in order to contact the contributor
Submitted on : Monday, August 16, 2010 - 4:54:49 PM
Last modification on : Sunday, June 26, 2022 - 2:22:55 AM
Long-term archiving on: : Wednesday, November 17, 2010 - 2:53:17 AM

File

OpC-Rossignol.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

20

Files downloads

216