Universidad abierta y a distancia unam. Cypa. Complexity classifications of boolean constraint satisfaction problems. Ejercicios de reflexion.