New Algorithms for Bidirectional Singleton Arc Consistency

Algorithm 4

BiSAC-DP.

(1) repeat

(2)    CHANGE ←  false;

(3)    foreach  𝑌∈𝑉  do

(4)   𝐷₁∶∶𝐷₂←𝐷(𝑌);

(5)   if Judge-DP(𝑌, 𝐷₁) = ⟂  ‖  Judge-DP(𝑌, 𝐷₂) = ⟂  then

(6)     return false;

(7) until not  CHANGE;

(8) return true;