| HAL-Inria | Publications, software ... of Inria's scientists |
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.
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
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)