Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Unit propagation
open-in-new
<p>Unit propagation (UP) or boolean constraint propagation (BCP) or the one-literal rule (OLR) is a <a href="/facts/Algorithm/fnl5NmRt">procedure</a> of <a href="/facts/Automated_theorem_proving/vKGvuKFI">automated theorem proving</a> that can simplify a set of (usually <a href="/facts/Propositional_logic/MNt5v31V">propositional</a>) <a href="/facts/Clause_(logic)/e3g5zV6n">clauses</a>. </p>