Repartir de la version de en: pour étoffer un peu l'article
Notament : ajouter d'autres transformation en CNF que celle indiquées pour l'instant -> Fait, il reste à détailler un algorithme éventuellement TomT0m (d) 14 juillet 2009 à 17:22 (CEST)[répondre]
Et encore : parler de "à quoi sert" la CNF
Référence : la page citée en référence (1) utilisée dans la section "Conversion linéaire équisatisfiable" ne présente pas de transformation linéaire des formules.--Poci33 (discuter) 18 août 2019 à 13:38 (CEST)[répondre]
L'avant dernier paragraphe de la section "Conversion linéaire équisatisfiable" contient une faute de logique (booléenne). Par ailleurs, il semble faire référence implicitement à l'algorithme de Tseitin (la page en anglais fait la référence explicitement), ce qui est trompeur car l'algorithme est plus compliqué que simplement ajouter la clause proposée.--Poci33 (discuter) 18 août 2019 à 13:38 (CEST)[répondre]
