New Algorithms for Bidirectional Singleton Arc Consistency

Algorithm 2

BiSAC-DF.

(1) repeat

(2)   CHANGE ←false;

(3)   foreach  (𝑋,𝑎)∈𝑃  do

(4)     𝑄𝑢𝑒𝑢𝑒←𝑄𝑢𝑒𝑢𝑒∪{(𝑋,𝑎)};

(5)   while  Queue ≠∅  do

(6)     if Judge-DF() = ⟂  then return false;

(7) until not  CHANGE

(8) return true;