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