Algorithms for constraint programming problems