Unit propagation
Sign in to saveAlso known as UP, Boolean Constraint propagation, BCP, one-literal rule, OLR
procedure of automated theorem proving
Connections
algorithm
Entity
digital object identifier
Entity
data structure
Entity
hierarchy
Entity
propositional calculus
Entity
rule of inference
Entity
Mathematical Reviews
Entity
conjunctive normal form
Entity
Horn clause
Entity
automated theorem proving
Entity
clause
Entity
resolution
Entity
DPLL algorithm
Entity
literal
Entity
Horn-satisfiability
Entity