Unit propagation
Sign in to saveAlso known as UP, Boolean Constraint propagation, BCP, one-literal rule, OLR
procedure of automated theorem proving
Wikidata facts
- Subclass of
- resolution
- Part of
- DPLL algorithm
Show 1 more fact
- computes solution to
- Horn-satisfiability
Sources (1)
via Wikidata · CC0