I RGB 受 Backmarking example 000 2○0 5夏QQ No consistency checks at level 5 will be performed until the value of the first variable is changed B Backmarking example 0003 domain 20 5鱼⑧ Eventually variable 4 also encounters dwoBackmarking example Variable # 1 2 3 4 5 1 0 0 0 0 B 5 4 3 2 1 i mbl R G 1 1 4 3 3 0 2 0 0 1 0 0 0 0 0 Remaining domain X No consistency checks at level 5 will be performed until the value of the first variable is changed X X Backmarking example Variable # 1 2 3 4 5 1 0 0 0 0 B 5 4 3 2 1 i mbl R G 1 1 4 3 3 0 2 0 0 1 0 0 0 0 0 Remaining domain X X Eventually variable 4 also encounters DWO X X X X