Variable and Value Selection Heuristics: Application to Solve Puzzles. - Broderick Crawford; Mary Aranda (Res. Comput. Sci., 2007)