Largeur de Clause

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Le nombre maximum de littéraux présents dans une seule clause d'un ensemble de clauses ; souvent appelé taille de clause dans les analyses combinatoires.