A Comparative Study Of Generalized Arc-Consistency Algorithms