Inteligencia Artificial Problemas de satisfacción de restricciones Primavera 2008 profesor: Luigi Ceccaroni.