Discussion:Formule booléenne quantifiée
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
C'est encore vraiment une ébauche. J'ai appelé l'article "Formule booléenne quantifiée". "Formule booléenne quantifiée vraie" sonne bizarre. "Problème SAT d'une formule booléenne quantifiée" aussi... Affaire à suivre. --Fschwarzentruber (discuter) 30 décembre 2015 à 14:47 (CET)
Liste de tâches à faire[modifier le code]
- Donner des applications théoriques et des références.
- Parler de hiérarchie polynomiale
- Donner plus de références qui parlent du sujet (pas juste Sipser)
--Fschwarzentruber (discuter) 30 décembre 2015 à 19:37 (CET)
Merci[modifier le code]
Un merci à Yanik qui a commencé la traduction depuis l'article anglais. Je préconise cependant une rédaction originale.--Fschwarzentruber (discuter) 30 décembre 2015 à 19:39 (CET)
Je suis à IJCAI 2016 et je suis un tutorial sur QBF. Je vais ensuite travailler sur l'article. --Fschwarzentruber (discuter) 11 juillet 2016 à 20:15 (CEST) Bon, j'ai ajouté beaucoup de choses (système de preuve, sémantique avec jeux, techniques algorithmiques, applications, formats d'entrée des solveurs). ː) C'est encore améliorable. L'article français est plus complet que l'article anglais. ː) --Fschwarzentruber (discuter) 11 juillet 2016 à 23:09 (CEST)