Quizás la estructura de memoria más importante usada para determinar las soluciones permitidas a un formula_4, sea la lista tabú.