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 Mas2010Connect 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