Chapter 5_ constraint satisfaction problems