전파 {at 2023-10-28 다음두개:
dissemination 전이, 유포, 전파
propagation 전파 }
같은 한국어 단어 '전파'
전파,jeonpa?
전파
전파
{at 2023-10-28
전파 인자, 패뜨리개 propagator
(logic) unit propagation ¶
Unit propagation - Wikipedia
https://en.wikipedia.org/wiki/Unit_propagation
(2023-12-18 첫문장
"Unit propagation (UP) or
Boolean Constraint propagation (BCP) or the
one-literal rule (OLR) is a procedure of automated_theorem_proving that can simplify a set of (usually propositional) clauses.")