Densité de Clauses

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le rapport du nombre de clauses (m) au nombre de variables propositionnelles (n) dans une instance CNF, couramment exprimé m/n.