constraint satisfaction problems 16 pages 3087883