An algorithm for constraint satisfaction problemстатья