Propagation Unitaire (BCP)

Le mécanisme algorithmique qui assigne itérativement les valeurs impliquées par les clauses unitaires dans un ensemble de clauses propositionnelles afin de simplifier l'instance et de détecter des conflits ; couramment appelé propagation de contraintes booléennes (BCP).