Klauseldichte
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Das Verhältnis der Anzahl der Klauseln (m) zur Anzahl der propositionalen Variablen (n) in einer CNF-Instanz, üblicherweise als m/n angegeben.