es gibt noch einen constaint propagation algorithmus der AC3/AC-3 genannt wird.