Clause Density

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
The ratio of the number of clauses (m) to the number of propositional variables (n) in a CNF instance, commonly expressed as m/n.