Top- Based Adaptive Enumeration in Constraint Programming

Algorithm 1

Constraint solving.

Input:

Output:

(1) While not   or     do

(2)   select  a  variable  x  from  X  according  to  s

(3)   

(4)   

(5)   If     then

(6)    

(7)   End If

(8)   If     then

(9)    

(10)  End If

(11) End While