added section on constraint satisfaction problems