Densidad de Cláusulas
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La relación entre el número de cláusulas (m) y el número de variables proposicionales (n) en una instancia CNF, comúnmente expresada como m/n.