Unit Propagation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The algorithmic mechanism that iteratively assigns values implied by unit clauses in a propositional clause set to simplify the instance and detect conflicts; commonly called Boolean Constraint Propagation (BCP).