Unit-Propagation (BCP)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Der algorithmische Mechanismus, der iterativ Werte zuweist, die durch Einheitsklauseln in einer aussagenlogischen Klauselmenge impliziert werden, um die Instanz zu vereinfachen und Konflikte zu erkennen; häufig als Boolean Constraint Propagation (BCP) bezeichnet.