constraint satisfaction problems 23 pages 4691167