Forme normale conjonctive (French Wikipedia)
Analysis of information sources in references of the Wikipedia article "Forme normale conjonctive" in French language version.
refsWebsite
Global rank
French rank
low place
low place
43rd place
132nd place
decision-procedures.org (Global: low place; French: low place)
- G. S. Tseitin, « On the complexity of derivation in propositional calculus », dans Automation of Reasoning, (lire en ligne).
labri.fr (Global: low place; French: low place)
- (fr) Jean Betrema, « Modèles de calcul », chapitre 9 : Problèmes NP-complets > SAT est NP-complet > CNF est NP-complet.
Preuve et transformation linéaire d'une formule SAT quelconque en CNF équisatisfiable.
wikidata.org (Global: 43rd place; French: 132nd place)
- G. S. Tseitin, « On the complexity of derivation in propositional calculus », dans Automation of Reasoning, (lire en ligne).