制約 せいやく伝搬 でんぱんではありません
seiyakudempandewārimasen

Noun
Desu Copula
Negation Auxiliary

The polite negative form of 制約伝搬

1. Is not constraint propagation.

Negative
Polite
Formal Register