Definitions from Wikipedia (Unit propagation)

▸ noun:  Unit propagation or boolean constraint propagation or the one-literal rule is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.


▸ Words similar to unit propagation
▸ Usage examples for unit propagation

▸ Idioms related to unit propagation
▸ Wikipedia articles (New!)
▸ Words that often appear near unit propagation
▸ Rhymes of unit propagation

▸ Invented words related to unit propagation