introduction to constraint satisfaction 1272238